Carnegie Mellon University
Browse

Real-Time Symbolic Model Checking for Discrete Time Models

Download (284.83 kB)
journal contribution
posted on 2004-09-01, 00:00 authored by Sergio V Campos, Edmund M Clarke
The BDD-based symbolic model-checking algorithm given in [4,10] is extended to handle real-time properties using the bounded until operator [9].

History

Date

2004-09-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