VerICS 2006 - a Model Checker for Real-Time and Multi-Agent Systems?
Magdalena Kacprzak, Wojciech Nabia lek, Artur Niewiadomski, Wojciech Penczek, Agata Pó lrola, Maciej Szreter, Bożena Woźna-Szcześniak, Andrzej Zbrzezny · 2007
The papers 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.