Is CADP an Applicable Formal Method? - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
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 : jeudi 4 avril 2024-21:36:02

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

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 Consultations
69 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More