ISBN 9780387691664,Sat-Based Scalable Formal Verification Solutions

Sat-Based Scalable Formal Verification Solutions

Rs7812 Rs11159 30% OFF

Availability: Out of Stock

(Free Delivery)

We Accept
ISBN 9780387691664
Check delivery information
Publisher

Ingram Publisher Services

Publication Year 2007
ISBN-13

ISBN 9780387691664

ISBN-10 0387691669
Binding

Hardback

Number of Pages 360 Pages
Subject

Electronics & communications engineering

Discusses several scalable SAT-based techniques including: Hybrid SAT Solver, Customized Bounded/Unbounded Model Checking, and Distributed Model Checking. This book also discusses Proofs and Proof-based Abstraction Methods, Verification of Embedded Memory System and Multi-clock Systems, and Synthesis for Verification Paradigm.
Scroll