prod 3.2: An Advanced Tool for Efficient Reachability Analysis

  title={prod 3.2: An Advanced Tool for Efficient Reachability Analysis},
  author={Kimmo Varpaaniemi and Keijo Heljanko and Johan Lilius},
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-they veriication of LTL formulas. prod is being used in industrial projects at the Digital Systems Laboratory. 1 Intro Reachability analysis is a powerful formal way to analyze concurrent and distributed systems such as telecommunication protocols. However reach-ability analysis suuers from… CONTINUE READING
Highly Cited
This paper has 41 citations. REVIEW CITATIONS
27 Citations
14 References
Similar Papers


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 14 references

SDL Modelling with High Level Petri Nets

  • N. Husberg
  • Proceedings of the Fifth International Workshop…
  • 1996

Modelling the Needham-Schröder authentication protocol with high level Petri nets

  • Tuomas Aura
  • Technical Report B14,
  • 1995

PROD reference manual

  • Kimmo Varpaaniemi, Jaakko Halme, Kari Hiekkanen, Tino Pyssysalo
  • Technical Report B13,
  • 1995
1 Excerpt

The Modeling and Analysis of the Frame Synchronized Ring Using the Predicate/Transition Net Formalism

  • Tino Pyssysalo
  • In Proceedings of COST 247 Meeting,
  • 1995

Modelling of a "Video on Demand" System Using Pr/T-Net Formalism a Case Study

  • Tino Pyssysalo, Leo Ojala
  • In Proceedings of the Third International…
  • 1994

Alleviating state explosion during veri cation of behavioral equiva lence

  • A. Valmari
  • Report A-1992-3,
  • 1992
2 Excerpts

Similar Papers

Loading similar papers…