A Proof System for Compositional Verification of Probabilistic Concurrent Processes

Abstract

We present a formal proof system for compositional verification of probabilistic concurrent processes. Processes are specified using an SOS-style process algebra with probabilistic operators. Properties are expressed using a probabilistic modal μ-calculus. And the proof system is formulated as a sequent calculus in which sequents are given a quantitative… (More)
DOI: 10.1007/978-3-642-37075-5_11

Topics

4 Figures and Tables

Cite this paper

@inproceedings{Mio2013APS, title={A Proof System for Compositional Verification of Probabilistic Concurrent Processes}, author={Matteo Mio and Alex K. Simpson}, booktitle={FoSSaCS}, year={2013} }