Scan barcode
179 pages • missing pub info (editions)
ISBN/UID: 9780387341552
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 20 July 2006
Description
Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verificat...
Community Reviews
Content Warnings
179 pages • missing pub info (editions)
ISBN/UID: 9780387341552
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 20 July 2006
Description
Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verificat...
Community Reviews
Content Warnings