PROBMELA: a modeling language for communicating probabilistic processes

  title={PROBMELA: a modeling language for communicating probabilistic processes},
  author={Christel Baier and Frank Ciesinski and Marcus Gr{\"o}\sser},
  journal={Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04.},
Building automated tools to address the analysis of reactive probabilistic systems requires a simple, but expressive input language with a formal semantics based on a probabilistic operational model that can serve as starting point for verification algorithms. We introduce for probabilistic parallel programs with shared variables, message passing via synchronous and (perfect or lossy) fifo channels and atomic regions and provide a structured operational semantics. Applied to finite-state… CONTINUE READING
Highly Cited
This paper has 36 citations. REVIEW CITATIONS
24 Citations
40 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 24 extracted citations


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

Verification of probabilist ic and nondeterministic systems

  • P. d’Argenio, N. Wolovick
  • 2004
Highly Influential
4 Excerpts

APTURE: A tool for verifying Markov Decision Processes

  • B. Jeannet, P. D’Argenio, R K.Larsen.
  • Tools
  • 2002
1 Excerpt

Similar Papers

Loading similar papers…