Automatic verification of sequential infinite-state processes
Auteur :
Burkart, O.
Éditeur :
Burkart, O.
ISBN :
9783540639824
Date de publication :
17 déc. 1997
Dimensions :
23,5 x 15,5 x 1,0 cm
Poids :
284 g
Langue :
Anglais
Pays d'origine :
Allemagne
This monograph provides information for theoreticians interested in algebraic theories, as well as for software engineers building practical tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems.