TCS / Research / Publications / PROD 3.3.09 --- An Advanced Tool for Efficient Reachability Analysis
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

PROD 3.3.09 — An Advanced Tool for Efficient Reachability Analysis

Reference:

Lasse Anderson, Johannes Helander, Keijo Heljanko, Tomi Janhunen, Robert Jürgens, Ismo Kangas, Kari J. Nurmela, Kenneth Oksanen, Olavi Pesonen, Marko Rauhamaa, James Reilly, Heikki Suonsivu, Kimmo Valkealahti, Kimmo Varpaaniemi, and Pauli Väisänen. PROD 3.3.09 — an advanced tool for efficient reachability analysis. Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finland, February 2001. Software.

Abstract:

PROD is a reachability analysis tool that can be used in UNIX (any system of that kind) and in Windows (3.1, 3.11, '95, NT). PROD supports stubborn-set-aided on-the-fly verification of linear time temporal logic formulas and off-line-without-reduction verification of computation tree logic formulas.

Keywords:

reachability analysis, on-the-fly verification, predicate/transition nets, stubborn set method, linear time temporal logic, computation tree logic

Suggested BibTeX entry:

@misc{VarpaaniemiKimmo-PROD3309,
    author = {Lasse Anderson and Johannes Helander and Keijo Heljanko and Tomi Janhunen and Robert J{\"{u}}rgens and Ismo Kangas and Kari J. Nurmela and Kenneth Oksanen and Olavi Pesonen and Marko Rauhamaa and James Reilly and Heikki Suonsivu and Kimmo Valkealahti and Kimmo Varpaaniemi and Pauli V{\"{a}}is{\"{a}}nen},
    howpublished = {Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finland},
    month = {February},
    note = {Software},
    title = {{P}{R}{O}{D} 3.3.09 --- An Advanced Tool for Efficient Reachability Analysis},
    year = {2001},
}

See www.tcs.hut.fi ...

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.