Goodreads helps you keep track of books you want to read.
Start by marking “SAT-Based Scalable Formal Verification Solutions” as Want to Read:
SAT-Based Scalable Formal Verification Solutions
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 ...more
Hardcover, 326 pages
Published May 22nd 2007 by Springer
(first published January 1st 2007)
To see what your friends thought of this book, please sign up.