523 search results - page 16 / 105 » Transformations for Model Checking Distributed Java Programs |
ADVIS
2004
Springer
14 years 2 months ago
2004
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
APLAS
2010
ACM
13 years 8 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
QOSA
2009
Springer
14 years 1 months ago
2009
Springer
When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is g...
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...