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

DOI10.1007/978-3-642-36742-7_14zbMath1381.68175OpenAlexW72999379MaRDI QIDQ5326325

Radu Mateescu, Gwen Salaün

Publication date: 5 August 2013

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-00805533/file/Mateescu-Salaun-13.pdf

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

PIC2LNT

Uses Software

• MWB
• CADP
• ProVerif
• Unnamed Item

This page was built for publication: PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus