Hachtel, Gary D.
Abstraction Refinement for Large Scale Model Checking
Table of contents
1. Introduction
2. Symbolic Model Checking
3. Abstraction
4. Refinement
5. Compositional SCC Analysis
6. Disjunctive Decomposition
7. Far Side Image Computation
8. Refining SAT Decision Ordering
9. Conclusions
DRM-restrictions
Printing: not available
Clipboard copying: not available
- Author(s)
- Hachtel, Gary D.
- Somenzi, Fabio
- Wang, Chao
- Publisher
- Springer
- Publication year
- 2006
- Language
- en
- Edition
- 1
- Category
- Technology, Energy, Traffic
- Format
- Ebook
- eISBN (PDF)
- 9780387346007
