Implementing LTL Model Checking with Net Unfoldings

Javier Esparza, Keijo Heljanko

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

    Original languageEnglish
    Title of host publication8th International SPIN Workshop on Model Checking of Software, Toronto, Canada, May 19-20, 2001
    EditorsM.B. Dwyer
    Place of PublicationBerlin
    Publication statusPublished - 2001
    MoE publication typeA4 Article in a conference publication


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

    Cite this