TCS / Research / Publications / PROD Reference Manual
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

PROD Reference Manual


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.


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.


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

Suggested BibTeX entry:

    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},

PostScript (417 kB)
GZipped PostScript (115 kB)
PDF (499 kB)
See ...

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.