-
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Author Rakefet Kol , Michael Yoeli
A Step-by-Step Guide to Verification of Digital SystemsThis practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of three powerful verif....
Release Date 2008/03