119 search results - page 8 / 24 » Confidentiality-Preserving Refinement is Compositional - Som... |
146
Voted
CAV
1998
Springer
15 years 8 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
176
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
149
click to vote
IJSEKE
2002
15 years 3 months ago
2002
In current literature few detailed process models for Requirements Engineering are presented: usually high-level activities are distinguished, without a more precise specification...
135
click to vote
CAV
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...
159
click to vote
ISF
2007
15 years 4 months ago
2007
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...