Systems and software verification: model-checking techniques and tools
Auteur :
Berard, B. / Bidoit, M. / Finkel, A. / Laroussinie, F. / Petit, A. / Petrucci, L. / Schnoebelen, P.
Éditeur :
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN :
9783642074783
Date de publication :
15 déc. 2010
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Allemagne
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.