Login / Signup
VerICS 2007 - a Model Checker for Knowledge and Real-Time.
Magdalena Kacprzak
Wojciech Nabialek
Artur Niewiadomski
Wojciech Penczek
Agata Pólrola
Maciej Szreter
Bozena Wozna
Andrzej Zbrzezny
Published in:
Fundam. Informaticae (2008)
Keyphrases
</>
model checker
model checking
knowledge acquisition
knowledge discovery
knowledge management
temporal logic
image processing
expert systems
image analysis
knowledge representation
software engineering
formal specification