PROD Reference Manual

Reference:

Kimmo Varpaaniemi, Jaakko Halme, Kari Hiekkanen, and Tino Pyssysalo. PROD reference manual. Technical Report B13, Helsinki University of Technology, Digital Systems Labora tory, Espoo, Finland, August 1995.

Abstract:

PROD is a Pr/T-net reachability analysis tool that supports on-the-fly verification of linear time temporal properties with the aid of the stubborn set method. Branching time temporal properties can be verified, too.

Keywords:

Pr/T-nets, on-the-fly verification, stubborn sets

Suggested BibTeX entry:

@techreport{HUT-TCS-B13,
    address = {Espoo, Finland},
    author = {Kimmo Varpaaniemi and Jaakko Halme and Kari Hiekkanen and Tino Pyssysalo},
    institution = {Helsinki University of Technology, Digital Systems Labora tory},
    month = {August},
    number = {B13},
    pages = {56},
    title = {{PROD} Reference Manual},
    type = {Technical Report},
    year = {1995},
}