182 search results - page 20 / 37 » Static program transformations for efficient software model ... |
SIGSOFT
2008
ACM
16 years 14 days ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
109
click to vote
SCAM
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper presents a flexible way in which a deisgn model extracted from Java programs can remain unified with the source code. Each entity declaration and reference in the Java ...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
Current taint tracking systems suffer from high overhead and a lack of generality. In this paper, we solve both of these issues with an extensible system that is an order of magni...
SIGSOFT
2003
ACM
16 years 14 days ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
107
click to vote
EMSOFT
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...