Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
type: Item
instance of: scholarly article
title: Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
zbMATH Open document ID: 1210.93068
author: Benoît Delahaye
author: Benoît Caillaud
author: Axel Legay
published in: Formal Methods in System Design
publication date: 2011-03-31T00:00:00Z
Mathematics Subject Classification ID: 93E03
Mathematics Subject Classification ID: 68Q87
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 90B25
zbMATH DE Number: 5872808
zbMATH Keywords: assume/guarantee reasoning
zbMATH Keywords: contracts
zbMATH Keywords: probabilistic reasoning
zbMATH Keywords: reliability analysis
zbMATH Keywords: availability
describes a project that uses: D-Finder
describes a project that uses: CLAN
describes a project that uses: LiQuor
MaRDI profile type: Publication
full work available at URL: s10703-010-0107-8
OpenAlex ID: W2060459181
cites work: Alternating-time temporal logic
cites work: Multiple Viewpoint Contract-Based Specification and Design
cites work: Refinement and Consistency of Timed Modal Specifications
cites work: Computer Aided Verification
cites work: Weak Second‐Order Arithmetic and Finite Automata
cites work: On simulation-based probabilistic model checking of mixed-analog circuits
cites work: Frontiers of Combining Systems
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Q4791844
cites work: Modal specifications for the control theory of discrete event systems
cites work: Automatic Conflict Detection on Contracts
cites work: Q4223067
cites work: Interactive Markov chains. And the quest for quantified quality
cites work: A logic for reasoning about time and reliability
cites work: Assume-Guarantee Verification for Probabilistic Systems
cites work: Validation of Stochastic Systems
cites work: Q3833630
cites work: Q3992568
cites work: Challenges in the Specification of Full Contracts
cites work: Q5541339
cites work: Reasoning about infinite computations
cites work: Temporal logic can be more expressive
cites work: Verification, Model Checking, and Abstract Interpretation
DOI: 10.1007/S10703-010-0107-8
description: scientific article; zbMATH DE number 5872808