CADP (Construction and Analysis of Distributed Processes) is a comprehensive software
toolbox that implements the results of concurrency theory. Started in the mid-1980s, CADP …

Abstract Cadp (Construction and Analysis of Distributed Processes) is a comprehensive
software toolbox that implements the results of concurrency theory. Started in the mid 80s …

Equivalence checking is a formal verification approach that consists in proving that two
programs or models are related modulo some equivalence relation, or that one is included …

This article comprehensively surveys the work accomplished during the past decade on an
approach to analyze concurrent systems qualitatively and quantitatively, by combining …

The inability to provide counterexamples for the violation of timed probabilistic reachability
properties constrains the practical use of CSL model checking for continuous time Markov …

Mutual exclusion protocols are an essential building block of concurrent shared-memory
systems: indeed, such a protocol is required whenever a shared resource has to be …

The explicit-state analysis of concurrent systems must handle large state spaces, which
correspond to realistic systems containing many parallel processes and complex data …

Mutual exclusion protocols are an essential building block of concurrent systems: indeed,
such a protocol is required whenever a shared resource has to be protected against …

As levels of parallelism are becoming increasingly complex in multiprocessor architectures,
GALS, and asynchronous circuits, methodologies and software tools are needed to verify …

The present article is an essay in research reproducibility after thirty years. We
retrospectively consider a challenging problem proposed in 1994 by Ulrich Herzog and …