Computer-Aided Verification : a Special Issue of Formal Methods In System Design on Computer-Aided Verification /

Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts with the issue of verification itself and develops a taxonomy of verification methodologies, focusing especially upon recent advances. Although her emphasis is h...

Full description

Bibliographic Details

Main Author:	Kurshan, Robert
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 1993.
Subjects:	Engineering. Computer-aided design. Computer engineering. Systems engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book