Soumettre un logiciel

Programmes par mctk-tool.sf.net

  • MCTK: a symbolic model checker for MAS Gratuit

    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.