Is CADP an Applicable Formal Method? - Archive ouverte HAL Access content directly
Conference Papers Year :

Is CADP an Applicable Formal Method?

(1, 2) , (1, 2) , (1, 2) , (2, 1)
1
2

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⟩
34 View
52 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More