Carnegie Mellon University
Browse

Model Checking Algorithms for the u-Calculus

Download (1.15 MB)
journal contribution
posted on 2003-04-01, 00:00 authored by Sergey Berezin, Edmund M Clarke, Somesh Jha, Will Marrero
The propositional µ-calculus is a powerful language for expressing properties of transition systems by using least and greatest fixpoint operators.

History

Date

2003-04-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