4211 search results - page 84 / 843 » A formal approach to MASQ |
185
click to vote
NCA
2008
IEEE
16 years 20 days ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
163
click to vote
ACSD
2007
IEEE
16 years 19 days ago
2007
IEEE
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...
147
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
We present a two-part approach for verifying out-of-order execution. First, the complexity of out-of-order issue and scheduling is handled by creating der abstraction of the out-of...
167
click to vote
DSRT
2005
IEEE
15 years 12 months ago
2005
IEEE
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
164
click to vote
FORTEST
2008
15 years 7 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...