Recently, contract-based design has been proposed as an “orthogonal” approach that
complements system design methodologies proposed so far to cope with the complexity of …

Statistical model checking (SMC) is a powerful and widely used approach that consists in
estimating the probability for a system to satisfy a temporal property. This is done by …

We study the relation between specifications of component behaviors and contracts
providing means to specify assumptions on environments as well as component guarantees …

This paper presents the modal interface theory, a unification of interface automata and
modal specifications, two radically dissimilar models for interface theories. Interface …

This paper presents a unification of interface automata and modal specifications, two
radically dissimilar models for interface theories. Interface automata is a game-based model …

We present Ecdar a new tool for compositional design and verification of real time systems.
In Ecdar, a component interface describes both the behaviour of the component and the …

Notions of specification, implementation, satisfaction, and refinement, together with
operators supporting stepwise design, constitute a specification theory. We construct such a …

The purpose of this paper is to present a framework to model component interfaces and the
component connectors that provide the glue code for the components. Our modeling …

We propose a framework for requirement-driven test generation that combines contract-
based interface theories with model-based testing. We design a specification language …

We present the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a
component interface describes both the behavior of a component, and the component's …