PROBMELA: a modeling language for communicating probabilistic processes

From International Center for Computational Logic

Toggle side column

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
  • 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}
}