Temporal reasoning for decision support in medicine
Artificial Intelligence in Medicine
Gröbner-free normal forms for boolean polynomials
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Classification, formalization and verification of security functional requirements
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
Local model update with an application to sliding window protocol
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part IV
Runtime verification of multi-agent systems interaction quality
ACIIDS'13 Proceedings of the 5th Asian conference on Intelligent Information and Database Systems - Volume Part I
Centralised controller for manufacturing systems through liveness extraction approach
International Journal of Systems, Control and Communications
| Hi-index | 0.00 |
This book is the first text on model checking at a graduate/undergraduate level. It is divided into three parts. The first part is concerned with the fundamental notions (modeling with finite automata, synchronous product of automata, temporal logic, model-checking algorithms, timed systems). The second part focuses on the practical problem of writing correctness properties in temporal logic, and on different approaches to their verification. The third part reviews several model-checking tools.