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