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.

Domains

Logic in Computer Science [cs.LO]
Fichier principal
Vignette du fichier
main.pdf (158.51 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Wendelin Serwe  : Connect in order to contact the contributor

https://inria.hal.science/hal-03485114

Submitted on : Friday, December 17, 2021-9:52:58 AM

Last modification on : Thursday, April 4, 2024-9:36:02 PM

Long-term archiving on: Friday, March 18, 2022-6:32:50 PM

Download

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 UGA CNRS INRIA IRISA LIG LIG_MFML_CONVECS CONVECS INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM LIG_SIDCH
35 View
69 Download

Altmetric

Share

Gmail Facebook X LinkedIn More