MCK swMATH ID: 9465 Software Authors: Ron van der Meyden; Peter Gammie; Kai Baukus; Jeremy Lee; Cheng Luo; Xiaowei Huang Description: MCK: Model checking knowledge. MCK is a model checker for the logic of knowledge, developed at the School of Computer Science and Engineering at the University of New South Wales. The system is intended as a testbed for a variety of approaches to model checking the logic of knowledge. The novelty of this model checker is that it supports several different ways of defining knowledge given a description of a multi-agent system and the observations made by the agents: observation alone; observation and clock; and synchonrous and asynchronous perfect recall of all observations. Both linear and branching time temporal operators are supported. Earlier releases of MCK were based primarily on BDD-based model checking algorithms, but MCK now also supports bounded model checking as well as explicit state model checking. Homepage: http://cgi.cse.unsw.edu.au/~mck/pmck/ Related Software: MCMAS; VerICS; NuSMV; CUDD; MOCHA; SPIN; DEMO; Verics; SMCDEL; jMocha; MCMAS-SLK; nuXmv; Simulink; PVS; z3; MMC; PicoSAT; 3APL; AgentSpeak; PRISM Cited in: 33 Publications Further Publications: http://cgi.cse.unsw.edu.au/~mck/pmck/mcks/publications all top 5 Cited by 62 Authors 10 Lomuscio, Alessio 5 Belardinelli, Francesco 3 Penczek, Wojciech 3 van der Meyden, Ron 3 van Ditmarsch, Hans Pieter 2 Gammie, Peter 2 Jamroga, Wojciech 2 Knapik, Michal Jozef 2 Luo, Xiangyu 2 Qu, Hongyang 2 Su, Kaile 2 Zbrzezny, Andrzej 1 Alechina, Natasha 1 Balliu, Musard 1 Benevides, Mario R. F. 1 Bozzano, Marco 1 Čermák, Petr 1 Chang, Zhengwei 1 Chen, Aixiang 1 Chen, Qingliang 1 Cimatti, Alessandro 1 Condurache, Rodica 1 Dam, Mads 1 de Lima, Tiago 1 Dechesne, Francien 1 Dima, Cătălin 1 Ezekiel, Jonathan 1 Galimullin, Rustam 1 Gario, Marco 1 Gu, Ming 1 Guelev, Dimitar P. 1 Guo, Wensheng 1 Herzig, Andreas 1 Huang, Xiaowei 1 Kahl, Wolfram 1 Konur, Savas 1 Kouvaros, Panagiotis 1 Kurpiewski, Damian 1 Luo, Cheng 1 Machado, Vitor 1 Mattarei, Cristian 1 Mikulski, Łukasz 1 Mogavero, Fabio 1 Murano, Aniello 1 Pardo, Raúl 1 Patra, Manas K. 1 Raimondi, Franco 1 Ruan, Ji 1 Russo, Francesco 1 Sattar, Abdul 1 Schewe, Sven 1 Schneider, Gerardo 1 van der Hoek, Wiebe 1 Wang, Yanjing 1 Woźna-Szcześniak, Bożena 1 Woźna, Bożena 1 Wu, Lijun 1 Xu, Yongsheng 1 Yang, Guowu 1 Yang, Jinji 1 Zbrzezny, Agnieszka M. 1 Zheng, Desheng all top 5 Cited in 14 Serials 4 Artificial Intelligence 3 Information and Computation 1 Studia Logica 1 Synthese 1 Theoretical Computer Science 1 Formal Aspects of Computing 1 Journal of Logic and Computation 1 Journal of Logic, Language and Information 1 Logic Journal of the IGPL 1 The Journal of Logic and Algebraic Programming 1 Journal of Applied Mathematics 1 Journal of Applied Logic 1 Frontiers of Computer Science 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 6 Fields 33 Computer science (68-XX) 20 Mathematical logic and foundations (03-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General algebraic systems (08-XX) 1 Category theory; homological algebra (18-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year