ISBN 9780387341552,Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

Rs2058 Rs2500 18% OFF

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