3 search results - page 1 / 1 » Modular verification of web services using efficient symboli... |
SIGSOFT
2008
ACM
14 years 5 months 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...
WWW
2005
ACM
14 years 5 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
POPL
2008
ACM
14 years 4 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...