| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Systems with Stochastic and/or non-Deterministic Aspects
Abstract : A contract allows to distinguish hypotheses made on a system (the guarantees) from those made on its environment (the assumptions). In this paper, we focus on models of Assume/Guarantee contracts for (stochastic) systems. We consider contracts capable of capturing reliability and availability properties of such systems. We also show that classi- cal notions of Satisfaction and Refinement can be checked by effective methods thanks to a reduction to classical verification problems. Finally, theorems supporting compositional reasoning and enabling the scalable analysis of complex systems are also studied.
https://hal.inria.fr/inria-00554307
Contributor : Benoît Caillaud <>
Submitted on : Monday, January 10, 2011 - 3:50:01 PM
Last modification on : Tuesday, June 15, 2021 - 4:27:42 PM
Contributor : Benoît Caillaud <>
Submitted on : Monday, January 10, 2011 - 3:50:01 PM
Last modification on : Tuesday, June 15, 2021 - 4:27:42 PM
Links full text
