Share
systems and software verification
B. Berard
(Author)
·
M. Bidoit
(Author)
·
P. McKenzie
(Translated by)
·
Springer
· Paperback
systems and software verification - Berard, B. ; McKenzie, P. ; Bidoit, M.
Out of Stock
We'll email you when the book is available again
Synopsis "systems and software verification"
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.This book provides a basic introduction to this new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.
✓ Producto agregado correctamente al carro, Ir a Pagar.