Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
DOI10.1007/S10703-010-0107-8zbMATH Open1210.93068OpenAlexW2060459181MaRDI QIDQ633299FDOQ633299
Authors: Benoît Delahaye, Benoît Caillaud, Axel Legay 
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
Recommendations
Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Reliability, availability, maintenance, inspection in operations research (90B25) Specification and verification (program logics, model checking, etc.) (68Q60) Stochastic systems in control theory (general) (93E03)
Cites Work
- Alternating-time temporal logic
- Title not available (Why is that?)
- Interactive Markov chains. And the quest for quantified quality
- A logic for reasoning about time and reliability
- Temporal logic can be more expressive
- Title not available (Why is that?)
- Reasoning about infinite computations
- Weak Second‐Order Arithmetic and Finite Automata
- Modal specifications for the control theory of discrete event systems
- Validation of Stochastic Systems
- Title not available (Why is that?)
- Assume-guarantee verification for probabilistic systems
- Title not available (Why is that?)
- Refinement and Consistency of Timed Modal Specifications
- Computer Aided Verification
- Automatic Conflict Detection on Contracts
- Computer Aided Verification
- Title not available (Why is that?)
- Multiple Viewpoint Contract-Based Specification and Design
- Frontiers of Combining Systems
- Challenges in the Specification of Full Contracts
- Tools and Algorithms for the Construction and Analysis of Systems
- Verification, Model Checking, and Abstract Interpretation
- On simulation-based probabilistic model checking of mixed-analog circuits
Cited In (12)
- Preserving Contract Satisfiability Under Non-monotonic Composition
- Contracts for schedulability analysis
- Conditions of contracts for separating responsibilities in heterogeneous systems
- Unifying theories of reactive design contracts
- Model checking probabilistic systems
- Probabilistic contracts for component-based design
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Assume-guarantee contracts for continuous-time systems
- Integrating stochastic reasoning into Event-B development
- Quantitative multi-objective verification for probabilistic systems
- Probabilistic Contracts for Component-Based Design
- Title not available (Why is that?)
Uses Software
This page was built for publication: Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q633299)
