CADP 2011: a toolbox for the construction and analysis of distributed processes

By Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe. International Journal on Software Tools for Technology Transfer (STTT), 2012

536 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/a39e7ed784e85acbd572ca24a75e59f8b4f86472

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. T. Arendt
2. Enrico Biermann
3. Stefan Jurack
4. C. Krause
5. G. Taentzer

Citations in the corpus

• Henshin: advanced concepts and tools for in-place EMF model transformations (2010, methodology): “Model checking in GROOVE is done using LTL or CTL formulas, whereas Henshin supports the more expressive modal μcalculus through the CADP [21] model checker, as well as validation of OCL [22] invariants.”