5525 search results - page 107 / 1105 » Verification of Model Transformations |
133
click to vote
ACSW
2006
15 years 4 months ago
2006
In the grid architecture, a grid workflow system is a type of high-level grid middleware which is supposed to support modelling, redesign and execution of large-scale sophisticate...
165
click to vote
TACAS
2010
Springer
15 years 1 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...
124
click to vote
ASE
2008
15 years 3 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
148
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
119
click to vote
TCS
2002
15 years 2 months ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...