Invia software

Programmi di mctk-tool.sf.net

  • MCTK: a symbolic model checker for MAS Gratuito

    MCTK (Model Checking Time and Knowledge) è un controllo simbolico del modello per sistemi multi-agente, che supporta la verifica della logica temporale della conoscenza. È sviluppato sulla base di NuSMV 2.1.2 di Xiangyu Luo.