Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(5)
Contract Theory
Probabilistic Reasoning
State Machine
Bottom Up
Top Down
Related Publications
(2)
Compositional Quantitative Reasoning
Probabilistic en...
Subscribe
Academic
Publications
A Model for Probabilistic Reasoning on Assume/Guarantee Contracts
A Model for Probabilistic Reasoning on Assume/Guarantee Contracts,Computing Research Repository,Benoît Delahaye,Benoît Caillaud
Edit
A Model for Probabilistic Reasoning on Assume/Guarantee Contracts
(
Citations: 2
)
BibTex

RIS

RefWorks
Download
Benoît Delahaye
,
Benoît Caillaud
Abstract: In this paper, we present a probabilistic adaptation of an As sume/Guarantee contract formalism. For the sake of generality, we assume that the extended state machines used in the contracts and implementations define sets of runs on a given set of variables, that compose by intersection over the common variables. In order to enable probabilistic reasoning, we consider that the contracts dictate how certain input variables will behave, being either nondeterministic, or probabilistic; the introduction of probabilistic variables leading us to tune the notions of implementation, refinement and composition. As shown in the report, this probabilistic adaptation of the Assume/Guarantee
contract theory
preserves compositionality and therefore allows modular relia bility analysis, either with a topdown or a bottomup approach. Keywords: Assume/Guarantee Reasoning, Contracts, Probabilistic reason
Journal:
Computing Research Repository  CORR
, vol. abs/0811.1, 2008
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
hal.archivesouvertes.fr
)
(
www.informatik.unitrier.de
)
(
adsabs.harvard.edu
)
(
arxiv.org
)
(
hal.inria.fr
)
(
perso.bretagne.enscachan.fr
)
More »
Citation Context
(2)
...Also relevant are: [
9
], which presents an assume/guarantee framework using probabilistic contracts for nonprobabilistic models; [3], which presents a theoretical framework for compositional verication of quantitative (but not probabilistic) properties; and [17], which uses probabilistic automata to model the environment of nonprobabilistic components...
Marta Z. Kwiatkowska
,
et al.
AssumeGuarantee Verification for Probabilistic Systems
...Probabilistic assume/guaranteecontracts have been introduced in [
3
] in terms of traces...
Dana N. Xu
,
et al.
Probabilistic Contracts for ComponentBased Design
References
(9)
It Usually Works: The Temporal Logic of Stochastic Systems
(
Citations: 98
)
Adnan Aziz
,
Vigyan Singhal
,
Felice Balarin
,
Robert Brayton
,
Alberto SangiovanniVincentelli
Conference:
Computer Aided Verification  CAV
, pp. 155165, 1995
A Generic Model of Contracts for Embedded Systems
(
Citations: 12
)
Albert Benveniste
,
Benoit Caillaud
,
Roberto Passerone
Journal:
Computing Research Repository  CORR
, vol. abs/0706.1, 2007
Model Checking of Probabalistic and Nondeterministic Systems
(
Citations: 148
)
Andrea Bianco
,
Luca De Alfaro
Conference:
Foundations of Software Technology and Theoretical Computer Science  FSTTCS
, pp. 499513, 1995
Pure Stationary Optimal Strategies in Markov Decision Processes
(
Citations: 10
)
Hugo Gimbert
Conference:
Symposium on Theoretical Aspects of Computer Science  STACS
, pp. 200211, 2007
A Framework for Reasoning about Time and Reliability
(
Citations: 52
)
Hans Hansson
,
Bengt Jonsson
Conference:
IEEE RealTime Systems Symposium  RTSS
, pp. 102111, 1989
Sort by:
Citations
(2)
AssumeGuarantee Verification for Probabilistic Systems
(
Citations: 12
)
Marta Z. Kwiatkowska
,
Gethin Norman
,
David Parker
,
Hongyang Qu
Conference:
Tools and Algorithms for Construction and Analysis of Systems  TACAS
, pp. 2337, 2010
Probabilistic Contracts for ComponentBased Design
(
Citations: 2
)
Dana N. Xu
,
Gregor Gössler
,
Alain Girault
Conference:
Automated Technology for Verification and Analysis  ATVA
, pp. 325340, 2010