255 search results - page 11 / 51 » Abstraction and composition: a verification method for co-op... |
APLAS
2008
ACM
14 years 11 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
106
click to vote
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
87
Voted
IC3
2009
14 years 7 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
ADT
2005
14 years 9 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
IFM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...