1914 search results - page 225 / 383 » Verification by Abstract Interpretation |
95
Voted
EWSA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect t...
140
Voted
ASM
2008
ASM
15 years 3 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
112
Voted
ATVA
2008
Springer
15 years 3 months ago
2008
Springer
Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing im...
96
Voted
ECSA
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
106
Voted
FORTE
2008
15 years 2 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...