Systems and Software Verification

Systems and Software Verification
Author :
Publisher : Springer Science & Business Media
Total Pages : 188
Release :
ISBN-10 : 9783662045589
ISBN-13 : 3662045583
Rating : 4/5 (583 Downloads)

Book Synopsis Systems and Software Verification by : B. Berard

Download or read book Systems and Software Verification written by B. Berard and published by Springer Science & Business Media. This book was released on 2013-04-17 with total page 188 pages. Available in PDF, EPUB and Kindle. Book excerpt: Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the 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.


Systems and Software Verification Related Books