Towards automatic verification of Erlang programs by π-calculus translation

Authors:
Chanchal Kumar Roy;Thomas Noll;Banani Roy;James R. Cordy
Affiliations:
Queen's University, Kingston, ON, Canada;RWTH Aachen University, Aachen, Germany;Queen's University, Kingston, ON, Canada;Queen's University, Kingston, ON, Canada
Venue:
Proceedings of the 2006 ACM SIGPLAN workshop on Erlang
Year:
2006

Citing 8
Cited 2

Communication and concurrency

Communication and concurrency
A calculus of mobile processes, II

Information and Computation
Concurrent programming in ERLANG (2nd ed.)

Concurrent programming in ERLANG (2nd ed.)
Model checking

Model checking
Semi-Automated Verification of Erlang Code

Proceedings of the 16th IEEE international conference on Automated software engineering
Translating Erlang to "CRL

ACSD '04 Proceedings of the Fourth International Conference on Application of Concurrency to System Design
Development of a verified Erlang program for resource locking

International Journal on Software Tools for Technology Transfer (STTT)
Modeling Erlang in the pi-calculus

Proceedings of the 2005 ACM SIGPLAN workshop on Erlang

Automatic assessment of failure recovery in Erlang applications

Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
Development of a distributed system applied to teaching and learning

Proceedings of the 8th ACM SIGPLAN workshop on ERLANG

Quantified Score

Hi-index	0.00

Visualization

Abstract

ERLANG is a concurrent, dynamically typed, distributed, purely functional programming language with non-purely functional libraries that is mainly employed in telecommunication systems. This paper provides a contribution to the formal modeling and verificationn of programs written in Erlang. It presents a mapping of Erlang programs to the π-calculus, a process algebra whose name-passing feature allows representation of the mobile aspects of software written in Erlang in a natural way.