Verification of Digital and Hybrid Systems (Nato a S I Series Series III, Computer and Systems Sciences)

by R. P. Kurshan

This state-of-the-art tutorial overview of computer-aided verification, hybrid systems, and publicly available tools for design and verification is based on a NATO workshop. It has two parts. Part…