Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefet Kol.

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.

Bibliographic Details

Online Access:	Full Text (via Wiley)
Main Author:	Yoeli, Michael, 1917-
Other Authors:	Kol, Rakefet
Format:	eBook
Language:	English
Published:	Hoboken, N.J. : Wiley-Interscience, ©2008.
Series:	Wiley series on parallel and distributed computing.
Subjects:	Integrated circuits > Verification. Computer software > Verification. LOTOS (Computer program language) Petri nets.