Kacprzak, Magdalena; Nabiałek, Wojciech; Niewiadomski, Artur; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Woźna, Bożena; Zbrzezny, Andrzej VERICS 2007 – a model checker for knowledgee and real-time. (English) Zbl 1167.68381 Fundam. Inform. 85, No. 1-4, 313-328 (2008). Summary: The paper presents the current stage of the development of Verics – a model checker for real-time and multi-agent systems. Depending on the type of a system considered, it enables to test various classes of properties – from reachability to temporal, epistemic and deontic formulas. The model checking methods used to this aim include both SAT based and enumerative ones. In the paper we focus on new features of the verifier: SAT based model checking for multi-agent systems and several extensions and improvements to real-time systems’ verification. Cited in 14 Documents MSC: 68Q60 Specification and verification (program logics, model checking, etc.) Keywords:SAT based model checking; multi-agent systems Software:VerICS PDFBibTeX XMLCite \textit{M. Kacprzak} et al., Fundam. Inform. 85, No. 1--4, 313--328 (2008; Zbl 1167.68381)