MCTK (Model Checking Time and Knowledge) is een symbolische modelchecker voor multi-agent systemen, die de verificatie van de temporele logica van kennis ondersteunt. Het is ontwikkeld op basis van NuSMV 2.1.2 door Xiangyu Luo.
versiegeschiedenis
- Versie N/A geplaatst op 2011-07-27
Verschillende oplossingen en updates - Versie N/A geplaatst op 2011-07-27
Programmadetails
- Categorie: Netwerk & Internet > Andere
- Publisher: mctk-tool.sf.net
- Licentie: Gratis
- Prijs: N/A
- Versie: Array
- Platform: windows