PROBMELA: a modeling language for communicating probabilistic processes
From International Center for Computational Logic
PROBMELA: a modeling language for communicating probabilistic processes
Christel BaierChristel Baier, Frank CiesinskiFrank Ciesinski, Marcus GrößerMarcus Größer
Christel Baier, Frank Ciesinski, Marcus Größer
PROBMELA: a modeling language for communicating probabilistic processes
2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE), 57--66, 2004. IEEE Computer Society
PROBMELA: a modeling language for communicating probabilistic processes
2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE), 57--66, 2004. IEEE Computer Society
- KurzfassungAbstract
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 systems, the semantics can serve as basis for the algorithmic generation of a Markov decision process that models the stepwise behavior of the given system. - Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science
@inproceedings{BCG2004,
author = {Christel Baier and Frank Ciesinski and Marcus Gr{\"{o}}{\ss}er},
title = {PROBMELA: a modeling language for communicating probabilistic
processes},
booktitle = {2nd {ACM} \& {IEEE} International Conference on Formal Methods
and Models for Co-Design (MEMOCODE)},
publisher = {IEEE Computer Society},
year = {2004},
pages = {57--66},
doi = {10.1109/MEMCOD.2004.1459815}
}