Instruct: Classify Amazon reviews into positive or negative sentiment
Query: very good survey

This book provides a very good review of the latest research (as of 2004) in some of the important and more practical areas of formal verification. Among the topics the book covers are: SAT based methods, hybrid SAT-BDD based methods, word-level decision diagrams for arithmetic circuits, and symmetry reduction methods.When I read the book in 2004, I found it very useful. The references cited in the book are very good. The topics covered in the book are very interesting and the presentation is well done.I recommend the book for any researcher in formal verification. The book will be most useful for graduate students doing research in formal verification.