On-the-Fly Verification with PROD

K. Varpaaniemi

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

    Original languageEnglish
    Title of host publication"Algorithmen und Werkzeuge für Petrinetze" Workshop, Berlin, Germany, 10.-11.10.1994
    EditorsJ. Desel, A. Oberweis, W. Reisig
    Place of PublicationKarlsruhe
    PublisherUniversity of Karlsruhe
    Publication statusPublished - 1994
    MoE publication typeA4 Article in a conference publication


    • linear time temporal properties
    • on-the-fly verification
    • predicate/transition nets
    • reachability analysis
    • stubborn set method

    Cite this