Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. MCTK: a symbolic model checker for MAS

MCTK: a symbolic model checker for MAS

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

MCTK (Model Checking Time and Knowledge) adalah pemeriksa model simbolis untuk sistem multi-agen, yang mendukung verifikasi logika pengetahuan temporal. Ini dikembangkan berdasarkan NuSMV 2.1.2 oleh Xiangyu Luo.

Riwayat versi

  • Versi N/A diposting di 2011-07-27
    Beberapa perbaikan dan pembaruan
  • Versi N/A diposting di 2011-07-27

Detil Program

Program Terkait

  • MedIC Automated Pipeline Scheduler Gratis

    Ekstensi ke kerangka kerja plug-in MIPAV (Medical Image Processing, Analysis, and Visualization) yang memungkinkan pengguna untuk merancang dan menjalankan pipeline, yang merupakan tugas pemrosesan multi-tahap.

  • SmartHASH Gratis

    SmartHASH adalah alat forensik komputer yang dirancang untuk mengeluarkan pekerjaan mendengus dari proses analisis; sehingga menghemat waktu yang cukup dalam aspek analisis sebagian besar penyelidikan.

  • Entropy Gratis

    PROYEK INI TIDAK LAGI DIHOSTING ATAU DIPERBARUI PADA SOURCEFORGE

  • Flash Authoring iPhone Components Gratis

    Komponen Penulisan Lampu Kilat untuk membantu Pengembangan iPhone. Anda dapat mengirim email kepada saya [email protected] dengan ID Source Forge Anda adalah Anda ingin bergabung dengan proyek.

  • Asp.net Web Utilities Framework Gratis

    Asp.net utilitas web untuk membantu saya (dan orang lain) dalam proyek masa depan saya Kerangka kerja hanya akan menyediakan kelas sederhana dan kontrol pengguna dll untuk fungsi umum - Kotak dan siap untuk diperpanjang (Se

  • DARKSTARgames Open Source Project Gratis

    DARKSTARgames adalah proyek pengembangan game hobi. Mesin 3D kami BAHKAN akan diterbitkan sebagai Open Source bersama dengan rilis game yang ditujukan untuk 2007. Namun kami sudah memiliki perangkat lunak sekarang, yang mungk

  • Workgroup Manager Gratis

    Workgroup Manager (WGM) adalah alat manajemen grup kerja Windows yang memungkinkan manajemen pengguna/grup jarak jauh dan pengoptimalan grup kerja. Pengguna dan grup dapat ditambahkan/diedit/dihapus dan pengguna dapat ditamba

  • ascentemu Gratis

    Ascent adalah paket perangkat lunak server berbasis C++ untuk World of Warcraft.Repositori ini adalah cadangan dari proyek yang sekarang tidak berfungsi.Itu disingkurkan oleh Arcemu.

  • Command-Line Argument Parser For Java Gratis

    Ini adalah pustaka untuk mengurai argumen baris perintah dengan mudah di Java dengan cara Berorientasi Objek melalui Pendengar dan Acara.

  • L2IrcBot Gratis

    L2IrcBot adalah implementasi dari PircBot API untuk memeriksa status Lineage 2-Servers on-/offline, yang didefinisikan oleh satu atau beberapa file konfigurasi.