Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the answers to these questions and fits them into a roadmap for formal property verification - a roadmap that shows how to glue FPV technology into the traditional validation flow. The book explores the key issues in this powerful technology through simple examples that mostly require no background on formal methods.
- ISBN13 9781402047572
- Publish Date 5 July 2006 (first published 1 January 2006)
- Publish Status Active
- Publish Country US
- Imprint Springer-Verlag New York Inc.
- Edition 2006 ed.
- Format Hardcover
- Pages 252
- Language English