Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. MCMAS-C Model Checker

MCMAS-C Model Checker

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 5.0/5 - ‎1 ‎Suara
Download

MCMAS-C adalah ekstensi untuk MCMAS pemeriksa model paling terkenal, yang diimplementasikan untuk memverifikasi sistem multi-agen. Perpanjangan kami terkait dengan memeriksa komitmen sosial yang dapat dibuat agen dan pemenuhannya. Ini adalah pemeriksa model untuk logika CTLC.

Riwayat versi

  • Versi files diposting di 2011-01-25
    Beberapa perbaikan dan pembaruan
  • Versi N/A diposting di 2011-01-25

Detil Program

Program Terkait

  • MConvert - Multiformat Converter Gratis

    MConvert adalah proyek bersumber terbuka yang dimaksudkan untuk mengembangkan alat untuk mengonversi file. Dengan menggunakan alat sumber terbuka lainnya, MConvert ingin memberikan berbagai kemungkinan untuk mengubah format f

  • WinCRC32 Gratis

    WINCRC32 menggunakan teknologi CRC-32 untuk memeriksa setiap file dan memberi tahu Anda tentang file yang berpotensi buruk, korup, salah ukuran atau hilang untuk menghemat berjam-jam mengunduh hanya untuk menemukan Anda memil

  • Web Pictures Downloader Uji Coba Gratis

    Web Pictures Downloader adalah pengunduh gambar internet untuk mengunduh gambar, foto, gambar, JPG, GIF dari web atau internet. Ini dapat mengakses situs web favorit Anda dengan maksimum 8 thread secara bersamaan. Ini mengana

  • A shoot'em up game for the Maemo Gratis

    Sebuah permainan tembak-menembak isometrik untuk platform Maemo. Ide dasarnya adalah menghasilkan permainan di mana pemain (atau pemain) dapat menghasilkan karakter dan batle mereka sendiri melawan satu sama lain atau musuh y

  • SudokuGenerator in c++ and stl Gratis

    Generator teka-teki Sudoku yang menghasilkan teka-teki Sudoku dengan tingkat kesulitan yang diberikan. Teka-teki yang dihasilkan memiliki solusi unik dan dapat diselesaikan tanpa mundur atau menebak. Perangkat lunak ini ditul

  • Oxygen Basic Gratis

    Compiler JIT yang dapat disematkan ringkas yang bertuliskan header C dan kompilasi ke kode mesin x86. Mengeksekusi langsung di memori atau membuat FILE dan file EXE. Mendukung kelebihan muatan dan OOP. Saat ini tersedia untuk

  • Lua Conio Gratis

    Lua Conio adalah pembungkus untuk Turbo C conio, digunakan untuk membuat antarmuka pengguna teks yang dikembangkan oleh Gabriele Secci.

  • Book Keeper System Gratis

    Sistem manajemen perpustakaan sederhana yang ditulis di Java menggunakan Struts + JSTL dan JDBC. Pendekatan arsitektur berlapis klasik digunakan. Saat ini DAO bekerja di luar kotak dengan mySql.

  • Counter Strike 1.6 File Gratis

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

  • Multimodal Engine Platform Gratis

    Sistem UMKM dihadirkan sebagai kebutuhan untuk berkomunikasi antara perangkat heterogen dan menjalin komunikasi antara pengguna dan aplikasi menggunakan berbagai jenis modalitas.