Carnegie Mellon University
Browse

Symbolic Model Checking with Partitioned Transition Relations

Download (601.71 kB)
journal contribution
posted on 2008-10-01, 00:00 authored by Jerry Burch, Edmund M Clarke, David Long
We significantly reduce the complexity of BDD-based symbolic verification by using partitioned transition relations to represent state transition graphs.

History

Date

2008-10-01

Usage metrics

    Categories

    Keywords

    computer sciencesInformation and Computing Sciences not elsewhere classified

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC