A New Unfolding Approach to LTL Model Checking

J. Esparza, K. Heljanko

    Research output: Working paperProfessional

    16 Citations (Scopus)
    Original languageEnglish
    Place of PublicationEspoo
    Pages32
    Publication statusPublished - 2000
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameHelsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports
    PublisherHelsinki University of Technology
    No.HUT-TCS-A60

    Keywords

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

    Cite this