59 search results - page 1 / 12 » You Assume, We Guarantee: Methodology and Case Studies |
CAV
1998
Springer
13 years 9 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
SPIN
1999
Springer
13 years 9 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
FM
2008
Springer
13 years 6 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
TACAS
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
GRID
2008
Springer
13 years 6 months ago
2008
Springer
Network performance measurement and prediction is one of the most prominent and indispensable components in distributed computing environments. The selection of the most advantage...