Chương trình theo mctk-tool.sf.net

MCTK (Model Checking Time and Knowledge) là một trình kiểm tra mô hình biểu tượng cho các hệ thống đa tác nhân, hỗ trợ xác minh logic thời gian của kiến thức. Nó được phát triển dựa trên NuSMV 2.1.2 bởi Xiangyu Luo.