Advanced formal verification / edited by Rolf Drechsler.

Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe various scenarios from industrial practice. In the first pa...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Other Authors:	Drechsler, Rolf
Format:	eBook
Language:	English
Published:	Boston : Kluwer Academic Publishers, ©2004.
Subjects:	Electronic circuits > Testing. Decision trees.