Systems and Software Verification
Model-Checking Techniques and Tools
Häftad, Engelska, 2010
AvB. Berard,M. Bidoit,A. Finkel,F. Laroussinie,A. Petit,L. Petrucci,P. Schnoebelen
2 249 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (1)
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.
Produktinformation
- Utgivningsdatum2010-12-15
- Mått155 x 235 x 18 mm
- Vikt328 g
- FormatHäftad
- SpråkEngelska
- Antal sidor190
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783642074783
- ÖversättareMcKenzie, P.