103 search results - page 1 / 21 » Dependability Analysis and Verification for Connected System... |
ISOLA
2010
Springer
13 years 2 months ago
2010
Springer
CCR
2004
13 years 4 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
TACAS
1998
Springer
13 years 9 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
CAV
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...