Model Checking: Theories, techniques, and applications, Acta Electronica Sinica, vol.12, issue.30, pp.1906-1912, 2002. ,
Model checking UML statecharts, Proc. of 8th Asia-Pacific Software Engineering Conference, 2001. ,
Automatic Detection Method for Web Services Feature Interaction, Computer Science, vol.37, issue.12, pp.106-110, 2010. ,
UML consistency and test case generation based on model checking, College of Computer Science and Technology, 2011. ,
Consistency of UML/SPT Models, SDL 2007, pp.203-224, 2007. ,
DOI : 10.1007/978-3-540-74984-4_13
Mck: Model Checking the logic of Knowledge, pp.478-483, 2004. ,
MCMAS: A model checker for multi-agent systems ,
Abudul Scatter. The Interpreted System Model of knowledge, belief, desire and intention, The fifth international Joint Conference on Autonomous Agents and Multi-Agent Systems, pp.220-222, 2006. ,
Symbolic Model Checking Algorithm for Temporal Epistemic logic CTL*K, Computer Science, vol.36, issue.5, pp.214-219, 2009. ,
Reasoning about Knowledge, 1995. ,
Research on Agent Unified Modeling Language. Institute of Computing Technology, Chinese Academy of Sciences, 2003. ,
Model Checking Multi-Agent Systems, 2006. ,