Kirim Perangkat Lunak

Program menurut mctk-tool.sf.net

  • MCTK: a symbolic model checker for MAS Gratis

    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.