Verification of systems and circuits using lotos, petri nets, and ccs
Auteur :
Yoeli, Michael / Kol, Rakefet
Éditeur :
John Wiley & Sons Inc
ISBN :
9780471704492
Date de publication :
15 avr. 2008
Dimensions :
24,3 x 16,3 x 2,2 cm
Poids :
544 g
Langue :
Anglais
Pays d'origine :
USA
This book provides a step-by-step interactive introduction to formal verification of systems and circuits. In view of the complexity of current parallel digital systems, a formal approach to their analysis and verification becomes essential. This text makes use of two powerful analysis tool sets: LOTOS-based CADP & Petri-Net based PETRIFY.