| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus
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.
Cited literature [12 references]
https://hal.inria.fr/hal-00805533
Contributor : Radu Mateescu Connect in order to contact the contributor
Submitted on : Thursday, March 28, 2013 - 10:35:20 AM
Last modification on : Tuesday, August 2, 2022 - 4:24:37 AM
Long-term archiving on: : Saturday, June 29, 2013 - 4:02:57 AM
Contributor : Radu Mateescu Connect in order to contact the contributor
Submitted on : Thursday, March 28, 2013 - 10:35:20 AM
Last modification on : Tuesday, August 2, 2022 - 4:24:37 AM
Long-term archiving on: : Saturday, June 29, 2013 - 4:02:57 AM
File
Mateescu-Salaun-13.pdf
Files produced by the author(s)