Carnegie Mellon University
Browse
file.pdf (30.33 kB)

Formal Verification of Infinite State Systems Using Boolean Methods

Download (30.33 kB)
journal contribution
posted on 2007-04-01, 00:00 authored by Randal E. Bryant
Most successful automated formal verification tools are based on a bit-level model of computation, where a set of Boolean state variables encodes the system state. Using powerful inference engines, such as Binary Decision Diagrams (BDDs) and Boolean satisfiability (SAT) checkers, symbolic model checkers and similar tools can analyze all possible behaviors of very large, finite-state systems.

History

Date

2007-04-01

Usage metrics

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC