MCTK (Masa Semakan Model dan Pengetahuan) adalah pemeriksa model simbolik untuk sistem pelbagai ejen, yang menyokong pengesahan logik pengetahuan sementara. Ia dibangunkan berdasarkan NuSMV 2.1.2 oleh Xiangyu Luo.
sejarah versi
- Versi N/A diposkan pada 2011-07-27
Beberapa pembaikan dan pengemaskinian - Versi N/A diposkan pada 2011-07-27
Butiran Atur Cara
- Kategori: Rangkaian & Internet > Lain
- Penerbit: mctk-tool.sf.net
- Lesen: Percuma
- Harga: N/A
- Versi: Array
- Platform: windows