Programas por mctk-tool.sf.net

MCTK (Model Checking Time and Knowledge) es un comprobador de modelos simbólicos para sistemas multiagente, que admite la verificación de la lógica temporal del conocimiento. Está desarrollado sobre la base de NuSMV 2.1.2 por