Systems and Software Verification
Systems and Software Verification
Regular price
Checking stock...
Regular price
Checking stock...
Summary
Model checking is a powerful approach for the formal verification of software. 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 feel-good place to buy books
- Free US shipping over $15
- Buying preloved emits 41% less CO2 than new
- Millions of affordable books
- Give your books a new home - sell them back to us!
Systems and Software Verification by B Berard
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.| SKU | Unavailable |
| ISBN 13 | 9783540415237 |
| ISBN 10 | 3540415238 |
| Title | Systems and Software Verification |
| Author | B Berard |
| Condition | Unavailable |
| Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Year published | 2001-06-20 |
| Number of pages | 190 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |