It is desirable to integrate formal verification techniques applicable to different languages.
We present Exp. Open 2.0, a new tool of the Cadp verification toolbox which combines …

Concurrent systems are intrinsically complex and their verification is hampered by the well-
known “state-space explosion” issue. Compositional verification is a powerful approach …

This paper presents a formal behavioural specification framework for specifying and
verifying the correct behaviour of distributed Fractal components. The first contribution is a …

In this paper a formal description of trustworthy real-time reactive components is given.
Component templates are defined and components are defined as instances of a template …

This article presents a component verification platform called Vercors providing means to
analyse the behaviour properties of applications built from distributed components. From the …

This article studies Parameterised Networks of Automata (pNets) from a theoretical
perspective. We illustrate the expressiveness of pNets by showing how to express a wide …

Dans une industrie du logiciel où la complexité des applications ne cesse de croître, un des
objectifs du génie logiciel est de conserver l'intelligibilité du processus de construction et de …

However, components programing allows, through the non-functional capabilities, to control
the execution of a component and its dynamic evolution: plugging and unplugging …

Components allow to design applications in a modular way by enforcing a strong separation
of concerns. In distributed systems this separation of concerns have to be composed with …

We present a model of components following the process calculus approach. The main
problem was isolating primitives that capture the relevant concepts of component-based …