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

A Step-by-Step Guide to Verification of Digital Systems This 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 verification toolsets: LOTOS-based CAD...

Full description

Bibliographic Details

Main Authors:	Yoeli, Michael (Author), Kol, Rakefet (Author)
Corporate Author:	Safari, an O'Reilly Media Company
Format:	eBook
Language:	English
Published:	Wiley-Interscience, 2008.
Edition:	1st edition.
Subjects:	Electronic books.
Online Access:	Connect to this electronic resource