Tarafından Programlar mctk-tool.sf.net

MCTK (Model Kontrol Zamanı ve Bilgi), bilginin zamansal mantığının doğrulanmasını destekleyen çok aracılı sistemler için sembolik bir model denetleyicisidir. Xiangyu Luo tarafından NuSMV 2.1.2'ye dayalı olarak geliştirilmişti