PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus

Radu Mateescu
  • Function : Correspondent author
  • PersonId : 834239

Connectez-vous pour contacter l'auteur
Construction of verified concurrent systems
Gwen Salaün
  • Function : Author
  • PersonId : 880331
Construction of verified concurrent systems

Abstract

In this paper, we present an applied pi-calculus obtained by extending Milner's pi-calculus with data types and expressions. The applied pi-calculus is automatically translated to the LNT value-passing process specification language by means of the PIC2LNT 2.0 tool. This enables the verification of applied pi-calculus specifications by using the data-based temporal logics and the model checkers of the CADP toolbox.

Domains

Software Engineering [cs.SE] Logic in Computer Science [cs.LO]
Fichier principal
Vignette du fichier
Mateescu-Salaun-13.pdf (103.88 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Radu Mateescu  : Connect in order to contact the contributor

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

Submitted on : Thursday, March 28, 2013-10:35:20 AM

Last modification on : Thursday, April 4, 2024-9:06:51 PM

Long-term archiving on: Saturday, June 29, 2013-4:02:57 AM

Download

Dates and versions

hal-00805533 , version 1 (28-03-2013)

Identifiers

Cite

Radu Mateescu, Gwen Salaün. PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus. TACAS - 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems - 2013, Mar 2013, Rome, Italy. pp.192-198, ⟨10.1007/978-3-642-36742-7_14⟩. ⟨hal-00805533⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Altmetric

Share

Gmail Facebook X LinkedIn More