Picture 1 of 1

Stock photo

SAT-Based Scalable Formal Verification Solutions - 9781441943415 - Picture 1 of 1

SAT-Based Scalable Formal Verification Solutions by Aarti Gupta, Malay Ganai (Paperback, 2010)

BOOKS etc. (532438)

99.5% positive Feedback

Price:

£77.83

Free postage

Estimated delivery Thu, 3 Jul - Thu, 10 Jul

Returns:

60 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.

Condition:

New

ISBN-13: 9781441943415, 978-1441943415. 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.

About this product

Product Information

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.