Hardback
Add to list Added to list Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Michael Yoeli,Rakefet Kol
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…
Available to order, ships in approx 2 weeksAvailable to order