Abstraction Refinement for Large Scale Model Checking

by Gary D. Hachtel, Chao Wang, Fabio Somenzi

Book Overview

Symbolic Model Checking.- Abstraction.- Refinement.- Compositional SCC Analysis.- Disjunctive Decomposition.- Far Side Image Computation.- Refining SAT Decision Ordering.- Conclusions.

• Format: Paperback
• Language: English
• ISBN: 1489993959
• ISBN13: 9781489993953
• Release Date: December 2014
• Publisher: Springer
• Length: 179 Pages
• Weight: 0.62 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"