Take a photo of a barcode or cover
179 pages • missing pub info (view editions)
ISBN/UID: 9780387341552
Format: Hardcover
Language: English
Publisher: Springer
Edition Pub 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 (view editions)
ISBN/UID: 9780387341552
Format: Hardcover
Language: English
Publisher: Springer
Edition Pub 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