Is CADP an Applicable Formal Method? - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2021

Is CADP an Applicable Formal Method?

Résumé

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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
main.pdf (158.51 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Wendelin Serwe  : Connectez-vous pour contacter le contributeur

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

Soumis le : vendredi 17 décembre 2021-09:52:58

Dernière modification le : lundi 9 décembre 2024-03:36:42

Archivage à long terme le : vendredi 18 mars 2022-18:32:50

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LIG LIG_MFML_CONVECS CONVECS INRIA2 LIG_SIDCH
49 Consultations
91 Téléchargements

Altmetric

Partager

More