PROD 3.2 — An Advanced Tool for Efficient Reachability Analysis

Reference:

Kimmo Varpaaniemi, Keijo Heljanko, and Johan Lilius. PROD 3.2 — an advanced tool for efficient reachability analysis. In Orna Grumberg, editor, Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22–25, 1997, Proceedings, volume 1254 of Lecture Notes in Computer Science, pages 472–475. Springer-Verlag, Berlin, Germany, 1997.

Abstract:

PROD is a reachability analyzer for Predicate/Transition nets. The tool incorporates several advanced reduced reachability graph generation methods. The tool also includes a CTL model checker and supports on-the-fly verification of LTL formulas. PROD is being used in industrial projects at the Digital Systems Laboratory.

Keywords:

reachability analysis, verification, model checking, stubborn sets, Petri nets

Suggested BibTeX entry:

@inproceedings{VarpaaniemiKimmo-VrpHeLi97,
    author = {Kimmo Varpaaniemi and Keijo Heljanko and Johan Lilius},
    booktitle = {{C}omputer Aided Verification: 9th International Conference, {C}{A}{V}'97, {H}aifa, {I}srael, {J}une 22--25, 1997, Proceedings},
    editor = {Orna Grumberg},
    pages = {472--475},
    publisher = {Springer-Verlag, Berlin, Germany},
    series = {Lecture Notes in Computer Science},
    title = {{P}{R}{O}{D} 3.2 --- An Advanced Tool for Efficient Reachability Analysis},
    volume = {1254},
    year = {1997},
}