Table of Contents: “…Formal methods background -- Existing techniques for verification -- Equivalence checking -- Model checking -- Bounded model checking -- Fundamental data structures and algorithms -- Boolean functions and finite state machines -- Image computation using the transition relation -- Symbolic FSM state space traversal -- Binary decision diagrams -- The Boolean satisfiability problem -- Image computation -- BDD-based approach -- SAT based methods -- Hybrid approaches -- A genetic algorithm approach for the BDD-based method -- Combing BDD and SAT in one framework -- Summary.…”
Connect to this title online