Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Michael (Department of Computer Science, Technion (Israel)) Yoeli, Rakefet (Electrical Engineering Department, Technion (Israel)) Kol
John Wiley & Sons Inc, 2008
165,95 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9780471704492
- ISBN-10
- 0471704490
- Publisher
- John Wiley & Sons Inc
- Year
- 2008
- Publication date
- 2008-04-15
- Pages
- 248
- Dimensions
- 243x163x22
- Weight
- 544