Programma's van mctk-tool.sf.net

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 Lu