Assume-guarantee verification for probabilistic systems

DOI10.1007/978-3-642-12002-2_3MaRDI QIDQ3557063zbMATH OpenOpenAlexFDO

Authors

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)

Recommendations

• Compositional probabilistic verification through multi-objective model checking
• Learning-based compositional verification for synchronous probabilistic systems
• scientific article; zbMATH DE number 1956591
• Automated circular assume-guarantee reasoning
• Computer Aided Verification

Cited in

(21)

• scientific article; zbMATH DE number 1794375 (Why is no real title available?)
• A compositional modelling and verification framework for stochastic hybrid systems
• Towards Automatic Stability Analysis for Rely-Guarantee Proofs
• On Abstraction of Probabilistic Systems
• Stochastic differential dynamic logic for stochastic hybrid programs
• Model checking probabilistic systems
• Probabilistic Guarded P Systems, A New Formal Modelling Framework
• Probabilistic contracts for component-based design
• A small gain theorem for parametric assume-guarantee contracts
• CEGAR for compositional analysis of qualitative properties in Markov decision processes
• Compositional probabilistic verification through multi-objective model checking
• Probabilistic bisimulation for realistic schedulers
• Abstraction-Refinement for Hierarchical Probabilistic Models
• Quantitative multi-objective verification for probabilistic systems
• Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
• When is containment decidable for probabilistic automata?
• When are emptiness and containment decidable for probabilistic automata?
• Learning-based compositional verification for synchronous probabilistic systems
• Probabilistic bisimulation for realistic schedulers
• scientific article; zbMATH DE number 1863173 (Why is no real title available?)
• Probabilistic verification of hierarchical leader election protocol in dynamic systems

This page was built for publication: Assume-guarantee verification for probabilistic systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3557063)