Related Books
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: 309
Pages: 309
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media
This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as bi
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: 134
Pages: 134
Type: BOOK - Published: 2018-03-06 - Publisher: Createspace Independent Publishing Platform
There are already many books on formal verification, from academic to application-centric, and from tutorials for beginners to guides for advanced users. Many a
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
