Abstraction Refinement For Large Scale Model Checking
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 2006 |
| Authors | Fabio Somenzi |
| Gary Deane Hachtel | |
| Chao Wang | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2126381 |
About Abstraction Refinement For Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital systems. . . .