@inproceedings{
    PROD32,
    editor = "Grumberg, Orna",
    author = "Varpaaniemi, Kimmo and Heljanko, Keijo and Lilius, Johan",
    publisher = "Springer-Verlag",
    title = "{P}{R}{O}{D} 3.2 - {A}n Advanced Tool for Efficient Reachability Analysis",
    url = "http://users.ics.tkk.fi/kepa/publications/",
    series = "Lecture Notes in Computer Science",
    booktitle = "Proceedings of the 9th International Conference on Computer Aided Verification (CAV'97)",
    address = "Haifa, Israel",
    corerank = "A+",
    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.",
    month = "June",
    volume = "1254",
    juforank = "2",
    flags = "copy",
    year = "1997",
    keywords = "reachability analysis, verification, model checking, stubborn sets, Petri nets",
    pages = "472--475"
}