Xiangyu Luo's repositories
MCTK2
MCTK2 is a symbolic model checker for multi-agent systems. It has a SMV-like input language, in which each agent is modeled as a module with observability description of variables. It currently supports the verification of CTLK, LTLK, ATLK, ATL*K and their time-bounded versions. These temporal epistemic logics are model checked based on the observable semantics.
MCTK2-under-development-backup-20180123
MCTK2 under development
Language:GAP000
RTLTL-model-checker
A symbolic model checker for real-time linear temporal logic RTLTL
GPL-3.0000