ISBN 9780387691664,Sat-Based Scalable Formal Verification Solutions

Sat-Based Scalable Formal Verification Solutions

Rs11159

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