Verification of reactive systems: formal methods and algorithms
Auteur :
Schneider, Klaus
Éditeur :
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN :
9783540002963
Date de publication :
1 mai 2003
Dimensions :
23,4 x 15,6 x 3,3 cm
Poids :
1039 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
Allemagne
Presents various important results on m-calculus, w-automata, and temporal logics, shows the relationships between these formalisms and describes verification procedures for them. This title discusses advantages and disadvantages of these formalisms, and shows up their strengths and weaknesses.