Is CADP an Applicable Formal Method? - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021

Is CADP an Applicable Formal Method?

Abstract

CADP is a comprehensive toolbox implementing results of concurrency theory. This paper addresses the question, whether CADP qualifies as an applicable formal method, based on the experience of the authors and feedback reported by users.
Fichier principal
Vignette du fichier
main.pdf (158.51 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03485114 , version 1 (17-12-2021)

Identifiers

Cite

Hubert Garavel, Frederic Lang, Radu Mateescu, Wendelin Serwe. Is CADP an Applicable Formal Method?. AppFM 2021 - 1st International Workshop on Applicable Formal Methods, Nov 2021, Bejing, China. ⟨10.48550/arXiv.2111.08203⟩. ⟨hal-03485114⟩
36 View
71 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More