Assume-guarantee verification for probabilistic systems

DOI10.1007/978-3-642-12002-2_3zbMATH Open1284.68406OpenAlexW1608455964MaRDI QIDQ3557063FDOQ3557063

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

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

Mathematics Subject Classification ID

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

Cited In (21)

• 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
• Abstraction-Refinement for Hierarchical Probabilistic Models
• Probabilistic bisimulation for realistic schedulers
• 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?
• Probabilistic bisimulation for realistic schedulers
• Learning-based compositional verification for synchronous probabilistic systems
• Title not available (Why is that?)
• Probabilistic verification of hierarchical leader election protocol in dynamic systems
• Title not available (Why is that?)

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)