1054 search results - page 5 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
DSVIS
1995
Springer
13 years 10 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
FMSD
2006
13 years 6 months ago
2006
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our alg...
FUIN
2000
13 years 6 months ago
2000
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...
HYBRID
2010
Springer
13 years 4 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
CAV
1998
Springer
13 years 11 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...