Efficient Model Checking of Safety Properties

Timo Latvala

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    58 Citations (Scopus)
    Original languageEnglish
    Title of host publication10th International SPIN Workshop, Portland, Oregon, USA, 9.-10.5.2003
    EditorsThomas Ball, Sriram K. Rajamani
    Place of PublicationBerlin
    Publication statusPublished - 2003
    MoE publication typeA4 Article in a conference publication


    • finite automata
    • LTL
    • model checking
    • safety properties

    Cite this