This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.
- ISBN10 0387517561
- ISBN13 9780387517568
- Publish Date 25 August 2008 (first published 1 January 2007)
- Publish Status Withdrawn
- Out of Print 18 October 2014
- Publish Country DE
- Imprint Springer
- Edition New ed.
- Format Hardcover
- Pages 198
- Language English