A New Unfolding Approach to LTL Model Checking

J. Esparza, K. Heljanko

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

    16 Citations (Scopus)
    Original languageEnglish
    Title of host publicationThe 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, Geneva, Switzerland, July 2000
    EditorsU. Montanari, D. Rolim, E. Welzl
    Place of PublicationBerlin, Germany
    Pages475-486
    Publication statusPublished - 2000
    MoE publication typeA4 Article in a conference publication

    Keywords

    • LTL
    • model checking
    • net unfoldings
    • Petri nets
    • tableau systems

    Cite this