Related Books
Language: en
Pages: 250
Pages: 250
Type: BOOK - Published: 2006-05-15 - Publisher: Springer Science & Business Media
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Desi
Language: en
Pages: 388
Pages: 388
Type: BOOK - Published: 1997-08-27 - Publisher: Springer Science & Business Media
This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation
Language: en
Pages: 279
Pages: 279
Type: BOOK - Published: 2019-06-21 - Publisher: CRC Press
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It ha
Language: en
Pages: 533
Pages: 533
Type: BOOK - Published: 2008-04-03 - Publisher: Springer
This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstr
Language: en
Pages: 585
Pages: 585
Type: BOOK - Published: 2005 - Publisher: Prentice Hall
The Practical, Start-to-Finish Guide to Modern Digital Design Verification As digital logic designs grow larger and more complex, functional verification has be