Probabilistic contracts for component-based design
From MaRDI portal
Publication:2441722
DOI10.1007/s10703-012-0162-4zbMath1284.68435MaRDI 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
60J20: Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.)
68M14: Distributed systems
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
Conditions of contracts for separating responsibilities in heterogeneous systems, Probabilistic contracts for component-based design
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