Assume-Guarantee Verification for Probabilistic Systems

DOI10.1007/978-3-642-12002-2_3zbMath1284.68406OpenAlexW1608455964MaRDI QIDQ3557063

No author found.

Publication date: 27 April 2010

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12002-2_3

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (14)

Model Checking Probabilistic Systems ⋮ A compositional modelling and verification framework for stochastic hybrid systems ⋮ Probabilistic bisimulation for realistic schedulers ⋮ When are emptiness and containment decidable for probabilistic automata? ⋮ On Abstraction of Probabilistic Systems ⋮ Compositional probabilistic verification through multi-objective model checking ⋮ Unnamed Item ⋮ Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects ⋮ Probabilistic contracts for component-based design ⋮ Probabilistic verification of hierarchical leader election protocol in dynamic systems ⋮ Quantitative Multi-objective Verification for Probabilistic Systems ⋮ Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs ⋮ Probabilistic Bisimulation for Realistic Schedulers ⋮ CEGAR for compositional analysis of qualitative properties in Markov decision processes

This page was built for publication: Assume-Guarantee Verification for Probabilistic Systems