0471704490

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)
231 pages | Wiley-Interscience (March 7, 2008) | 0471704490 | PDF | 1 Mb

This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. It presents theoretical background and introduces the application of three powerful verification toolsets: LOTOS-based CADP, Petri nets–based PETRIFY, and CCS-based CWB. The book covers verification of modular asynchronous circuits, alternating-bit protocols, arbiters, pipeline controllers, up-down counters, and phase converters, as well as many other verification examples.
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (repost)

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
by Michael Yoeli, Rakefet Kol
English | 2008 | ISBN: 0471704490 | 231 pages | PDF | 1.79 MB
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

Michael Yoeli, Rakefet Kol, "Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS"
Wiley-Interscience | 2008 | ISBN: 0471704490 | 231 pages | PDF | 1,2 MB