PIC2LNT: model transformation for model checking an applied pi-calculus

DOI10.1007/978-3-642-36742-7_14MaRDI QIDQ5326325zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1444737
• scientific article; zbMATH DE number 1420796
• scientific article; zbMATH DE number 2020178
• scientific article; zbMATH DE number 1953026
• CONCUR 2005 – Concurrency Theory

Cited in

(10)

• A structural transformation from p- to MSVL
• PIC2LNT
• Toward extracting -calculus from UML sequence and state diagrams
• A transformation from p- to MSVL
• \textsc{WiCcA}: LTS generation tool for wire calculus
• Modelling and Verifying Mobile Systems Using π-Graphs
• scientific article; zbMATH DE number 1953026 (Why is no real title available?)
• scientific article; zbMATH DE number 1444737 (Why is no real title available?)
• Modeling and reasoning of time-dependent concurrent mobile systems based on an extended \(\pi\)-calculus
• Excommunication: transforming \(\pi \)-calculus specifications to remove internal communication

Describes a project that uses

Uses Software

• CADP
• ProVerif
• E-LOTOS
• MWB

This page was built for publication: PIC2LNT: model transformation for model checking an applied pi-calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5326325)