On Stubborn Sets in the Verification of Linear Time Temporal Properties

Kimmo Varpaaniemi

    Research output: Contribution to journalArticleScientificpeer-review

    2 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)45-67
    JournalFORMAL METHODS IN SYSTEM DESIGN
    Volume26
    Issue number1
    Publication statusPublished - 2005
    MoE publication typeA1 Journal article-refereed

    Keywords

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

    Cite this