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, Proceedings of the 9th International Conference on Computer Aided Verification (CAV'97), volume 1254 of Lecture Notes in Computer Science, pages 472–475, Haifa, Israel, June 1997. Springer-Verlag.

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{PROD32,
    address = {Haifa, Israel},
    author = {Kimmo Varpaaniemi and Keijo Heljanko and Johan Lilius},
    booktitle = {Proceedings of the 9th International Conference on Computer Aided Verification (CAV'97)},
    editor = {Orna Grumberg},
    month = {June},
    pages = {472--475},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    title = {{P}{R}{O}{D} 3.2 - {A}n Advanced Tool for Efficient Reachability Analysis},
    volume = {1254},
    year = {1997},
}