Computer-aided verification: a special issue of formal methods in system design on computer-aided verification
Auteur :
Kurshan, Robert
ISBN :
9780792392859
Date de publication :
31 déc. 1992
Dimensions :
23,4 x 15,6 x 0,9 cm
Poids :
870 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
A collection of papers that begins with a general survey of hardware verification methods. It starts with the issue of verification itself and develops a taxonomy of verification methodologies, focusing upon various advances. It presents a generic format for graphical presentations of coordinating systems represented by automata.