@inproceedings{
    VrpHeLi97,
    editor = "Grumberg, Orna",
    author = "Varpaaniemi, Kimmo and Heljanko, Keijo and Lilius, Johan",
    publisher = "Springer-Verlag, Berlin, Germany",
    title = "{P}{R}{O}{D} 3.2 --- An Advanced Tool for Efficient Reachability Analysis",
    series = "Lecture Notes in Computer Science",
    booktitle = "{C}omputer Aided Verification: 9th International Conference, {C}{A}{V}'97, {H}aifa, {I}srael, {J}une 22--25, 1997, Proceedings",
    ps = "prod32.ps",
    errata = "http://users.tkk.fi/~kvarpaan/prod32e.html",
    volume = "1254",
    flags = "public",
    pages = "472--475",
    year = "1997",
    keywords = "reachability analysis, verification, model checking, stubborn sets, Petri nets",
    pdf = "prod32.pdf",
    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."
}