Related Books
Language: en
Pages: 269
Pages: 269
Type: BOOK - Published: 2007-05-08 - Publisher: Springer Science & Business Media
Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts
Language: en
Pages: 230
Pages: 230
Type: BOOK - Published: 2019-05-14 - Publisher: Princeton University Press
An essential introduction to the analysis and verification of control system software The verification of control system software is critical to a host of techn
Language: en
Pages: 269
Pages: 269
Type: BOOK - Published: 2004-01-31 - Publisher: Springer Science & Business Media
As alternatives formal verification techniques have been proposed. Instead of simulating a design the correctness is proven by formal techniques. There are diff
Language: en
Pages: 338
Pages: 338
Type: BOOK - Published: 2007-05-26 - Publisher: Springer Science & Business Media
This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It d
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
