5525 search results - page 358 / 1105 » Verification of Model Transformations |
193
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...
180
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
177
click to vote
BIS
2008
15 years 8 months ago
2008
Abstract. A common task in business process modelling is the verification of process models regarding syntactical and structural errors. While the former might be checked with low ...
187
click to vote
ENTCS
2006
15 years 6 months ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
187
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...