MCTK (Model Checking Time and Knowledge) est un modèle symbolique de contrôle des systèmes multi-agents, qui prend en charge la vérification de la logique temporelle de la connaissance. Il est développé à partir de NuSMV 2.1.2 par Xiangyu Luo.
historique de la version
- Version N/A posté sur 2011-07-27
Plusieurs correctifs et mises à jour - Version N/A posté sur 2011-07-27
Détails du programme
- Catégorie: Réseau & Internet > Autres
- Éditeur: mctk-tool.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: Array
- Plate-forme: windows