Helsinki University of Technology, Digital Systems Laboratory, Technical Report B13, 56 pages, 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.