Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ENTCS
2006
145views more  ENTCS 2006»
11 years 1 months ago
Cooperation-based Invariants for OO Languages
In general, invariants may depend on the state of other objects. The approach introduced in this paper allows this for objects of mutually visible classes, in a way that supports ...
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper,...
SIGSOFT
2008
ACM
12 years 2 months ago
Modular verification of web services using efficient symbolic encoding and summarization
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...
Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan
books