On Stubborn Sets in the Verification of Linear Time Temporal Properties

K. Varpaaniemi

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

    2 Citations (Scopus)
    Original languageEnglish
    Title of host publication19th International Conference on Application and Theory of Petri Nets, Lisbon, Portugal, June 22-26, 1998
    EditorsJ. Desel, M. Silva
    Place of PublicationBerlin
    Pages124-143
    Publication statusPublished - 1998
    MoE publication typeA4 Article in a conference publication

    Keywords

    • reachability analysis
    • reduced state space generation
    • stubborn sets
    • verification of LTL formulas

    Cite this