Systems and Software Verification
A. Finkel, A. Petit, B. Berard, F. Laroussinie, L. Petrucci, M. Bidoit, P. Schnoebelen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
158,95 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9783642074783
- ISBN-10
- 3642074782
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Year
- 2010
- Publication date
- 2010-12-15
- Pages
- 190
- Dimensions
- 157x233x18
- Weight
- 328