Probabilistic contracts for component-based design

DOI10.1007/S10703-012-0162-4zbMath1284.68435OpenAlexW1981443153MaRDI QIDQ2441722

Gregor Gössler, Alain Girault, Dana N. Xu

Publication date: 28 March 2014

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-012-0162-4

zbMATH Keywords

compositionrefinementcomponentprobabilistic contract

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Distributed systems (68M14) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Probabilistic contracts for component-based design ⋮ Conditions of contracts for separating responsibilities in heterogeneous systems

Cites Work

• Unnamed Item
• Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
• Interactive Markov chains. And the quest for quantified quality
• Composition for component-based modeling
• Probabilistic contracts for component-based design
• Assume-Guarantee Verification for Probabilistic Systems
• Model Checking Software

This page was built for publication: Probabilistic contracts for component-based design