Picture 1 of 1

Stock photo

Ganai - SAT-Based Scalable Formal Verification Solutions - New paperba - L555z - Picture 1 of 1

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

iHaveit (89636)

99.3% positive Feedback

Price:

£161.73

Free postage

Estimated delivery Mon, 30 Jun - Fri, 4 Jul

Returns:

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

Condition:

New

The Title is SAT-Based Scalable Formal Verification Solutions. Condition New. Books are released in many editions and variations, such as standard edition, re-issue, not for sale, promotional, special edition, limited edition, and many other editions and versions.

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.