Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects

DOI10.1007/s10703-010-0107-8zbMath1210.93068OpenAlexW2060459181MaRDI QIDQ633299

Benoît Caillaud, Benoît Delahaye, 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

zbMATH Keywords

contractsprobabilistic reasoningreliability analysisavailabilityassume/guarantee reasoning

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Reliability, availability, maintenance, inspection in operations research (90B25) Specification and verification (program logics, model checking, etc.) (68Q60) Stochastic systems in control theory (general) (93E03) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (max. 100)

Model Checking Probabilistic Systems ⋮ Probabilistic contracts for component-based design ⋮ Quantitative Multi-objective Verification for Probabilistic Systems ⋮ Conditions of contracts for separating responsibilities in heterogeneous systems ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey

Uses Software

• CLAN
• D-Finder
• LiQuor

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

This page was built for publication: Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects