Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
From MaRDI portal
Publication:633299
DOI10.1007/s10703-010-0107-8zbMath1210.93068MaRDI QIDQ633299
Axel Legay, Benoît Delahaye, Benoît Caillaud
Publication date: 31 March 2011
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-010-0107-8
68Q45: Formal languages and automata
90B25: Reliability, availability, maintenance, inspection in operations research
68Q60: Specification and verification (program logics, model checking, etc.)
93E03: Stochastic systems in control theory (general)
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Interactive Markov chains. And the quest for quantified quality
- Modal specifications for the control theory of discrete event systems
- Reasoning about infinite computations
- A logic for reasoning about time and reliability
- Weak Second‐Order Arithmetic and Finite Automata
- Temporal logic can be more expressive
- Automatic Conflict Detection on Contracts
- Alternating-time temporal logic
- Assume-Guarantee Verification for Probabilistic Systems
- Multiple Viewpoint Contract-Based Specification and Design
- Challenges in the Specification of Full Contracts
- Refinement and Consistency of Timed Modal Specifications
- Tools and Algorithms for the Construction and Analysis of Systems
- Computer Aided Verification
- Validation of Stochastic Systems
- Frontiers of Combining Systems
- Computer Aided Verification
- Verification, Model Checking, and Abstract Interpretation
- On simulation-based probabilistic model checking of mixed-analog circuits