Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. MCMAS-C Model Checker

MCMAS-C Model Checker

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 5.0/5 - ‎1 ‎Undi
Muat turun

MCMAS-C adalah lanjutan kepada pemeriksa model yang paling terkenal MCMAS, yang dilaksanakan untuk mengesahkan sistem pelbagai ejen. Pelanjutan kami adalah berkaitan dengan memeriksa komitmen sosial yang boleh dicipta oleh ejen dan pemenuhan mereka. Ia adalah pemeriksa model untuk logik CTLC.

sejarah versi

  • Versi files diposkan pada 2011-01-25
    Beberapa pembaikan dan pengemaskinian
  • Versi N/A diposkan pada 2011-01-25

Butiran Atur Cara

Atur Cara Berkaitan

  • MConvert - Multiformat Converter Percuma

    MConvert adalah projek sumber terbuka yang bertujuan untuk membangunkan alat untuk menukar fail. Dengan menggunakan alatan sumber terbuka yang lain, MConvert mahu menyediakan pelbagai kemungkinan untuk mengubah fileformats.

  • WinCRC32 Percuma

    WINCRC32 menggunakan teknologi CRC-32 untuk memeriksa setiap fail dan memberitahu anda tentang apa-apa fail yang berpotensi buruk, rasuah, salah atau hilang untuk menjimatkan jam anda memuat turun hanya untuk mencari anda mem

  • Web Pictures Downloader Percubaan Percuma

    Pemuat turun Gambar Web adalah pemuat turun gambar internet untuk memuat turun gambar, foto, imej, JPG, GIF dari web atau internet. Ia boleh mengakses laman web kegemaran anda dengan maksimum 8 benang secara serentak. Ia meng

  • A shoot'em up game for the Maemo Percuma

    Permainan menembak isometrik untuk platform Maemo. Idea asas adalah untuk menjana permainan di mana pemain (atau pemain) boleh menjana watak-watak dan kelawar mereka sendiri terhadap musuh-musuh lain atau komputer yang dikawa

  • SudokuGenerator in c++ and stl Percuma

    Penjana teka-teki Sudoku yang menjana teka-teki Sudoku dengan tahap kesukaran yang diberikan. Teka-teki yang dihasilkan mempunyai penyelesaian yang unik dan boleh diselesaikan tanpa backtracking atau meneka. Perisian ini ditu

  • Oxygen Basic Percuma

    Kompiler JIT tertanam padat yang membaca pengepala C dan menyusun kod mesin x86. Melaksanakan secara langsung dalam ingatan atau mencipta fail DLLs dan EXE. Menyokong bebanan dan OOP. Buat masa ini boleh didapati untuk platfo

  • Lua Conio Percuma

    Lua Conio adalah pembalut untuk Turbo C conio, digunakan untuk membuat antara muka pengguna teks yang dibangunkan oleh Gabriele Secci.

  • Book Keeper System Percuma

    Sistem pengurusan perpustakaan yang mudah ditulis di Jawa menggunakan Struts + JSTL dan JDBC. Pendekatan seni bina berlapis klasik digunakan. Pada masa ini DAOS bekerja di luar kotak dengan mySql.

  • Counter Strike 1.6 File Percuma

    tlchargez des fichiers en rapport avec le serveur [TFS21] Pelayan Firefox

  • Multimodal Engine Platform Percuma

    Sistem APMM dibentangkan sebagai keperluan untuk berkomunikasi antara peranti heterogen dan mewujudkan komunikasi antara pengguna dan aplikasi menggunakan pelbagai jenis modaliti.