A semantics for distributed Erlang
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang
Towards automatic verification of Erlang programs by π-calculus translation
Proceedings of the 2006 ACM SIGPLAN workshop on Erlang
A more accurate semantics for distributed erlang
ERLANG '07 Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop
Verifying Erlang/OTP Components in μCRL
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Verifying Erlang Telecommunication Systems with the Process Algebra μCRL
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Automatic assessment of failure recovery in Erlang applications
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
Model-checking Erlang: a comparison between EtomCRL2 and McErlang
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Verification of language based fault-tolerance
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
Semi-formal development of a fault-tolerant leader election protocol in erlang
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Hi-index | 0.00 |
The language Erlang has been developed by Ericssonto implement large switching systems. Erlang is nowadaysused by several companies for complex embedded systems.The language 驴CRL is a process algebra with data.Severalverification tools are available for 驴CRL and otherprocess algebras, including a tool to create labelled transitionsystems from 驴CRL specifications.By having a translationfrom Erlang to 驴CRL we can apply the verificationtools for process algebras and labelled transition systemsto industrial code.The translation is aware of the majordesign component in the switching software.This knowledgeis used to ensure that the size of the labelled transitionsystem generated by the tools is smaller than with a naivetranslation.