Compositional verification is a promising approach to addressing the state explosion
problem associated with model checking. One compositional technique advocates proving …

Model checking is an automated technique that can be used to determine whether a system
satisfies certain required properties. The typical approach to verifying properties of software …

Assume-guarantee reasoning enables a “divide-and-conquer” approach to the verification of
large systems that checks system components separately while using assumptions about …

Workflow technology has recently been employed not only within businesses but also as a
framework for implementing e-services over the Internet. Such e-services typically require …

Goal-oriented methods are increasingly popular for elaborating software requirements. They
offer systematic support for incrementally building intentional, structural, and operational …

This survey gives an overview of the current research on compositional algorithms for
verification and synthesis of modular systems modelled as interacting finite-state machines …

With the advancement in network bandwidth and computing power, multimedia systems
have become a popular means for information delivery. However, general principles of …

In this state of the art report, we review advances in distributed component technologies,
such as the Enterprise Java Beans specification and the CORBA Component Model. We …

One of the main advantages of the UML is its possibility to model different views on a system
using a range of diagram types. The various diagrams can be used to specify different …

Techniques for learning automata have been adapted to automatically infer assumptions in
assume-guarantee compositional verification. Learning, in this context, produces …