Work

Is CADP an Applicable Formal Method?

Year: 2021

Type: article

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.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.349.1

Authors: Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe

Institutions: Institut polytechnique de Grenoble, Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, Laboratoire d'Informatique de Grenoble, CONVECS: Construction de systèmes concurrents vérifiés, Université Grenoble Alpes

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W3213769672

FWCI: 0.248

Cites: 55

Cited by: 3

Related to: 10