Authors: Kimmo Varpaaniemi, Jaakko Halme, Kari Hiekkanen, and Tino Pyssysalo

Title: PROD Reference Manual

Number: Technical Report B 13

Date: August 1995

Pages: 56

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

Full report in Postscript, Errata, Differences between the report and the latest version of PROD