ISBN 9780387341552,Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

Rs2058 Rs2500 18% OFF

Availability: Available

Usually ships in: 2-3 business days

(Free Delivery)

We Accept
ISBN 9780387341552
Check delivery information
 
ISBN 9780387341552
Publisher

Ingram Publisher Services

Publication Year 2006
ISBN-13

ISBN 9780387341552

ISBN-10 0387341552
Binding

Hardback

Number of Pages 194 Pages
Subject

Electronics & communications engineering

Considering both the size of digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. This book summarizes research on abstraction techniques for model checking large digital system.
Scroll