1796 search results - page 46 / 360 » An Approach to Compositional Model Checking |
VMCAI
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
DASFAA
2007
IEEE
14 years 2 months ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...
ADBIS
2001
Springer
14 years 15 days ago
2001
Springer
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...
ICWS
2009
IEEE
13 years 5 months ago
2009
IEEE
Web service-based workflow management systems have garnered considerable attention for automating and scheduling dependent operations. Such systems often support user preferences,...