Translating Erlang to CRL
Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas · 2004
The language Erlang has been developed by Ericsson to implement large switching systems. Erlang is nowadays used by several companies for complex embedded systems. The language CRL is a process algebra with data. Sev-eral verification tools are available for CRL and other process algebras, including a tool to create labelled transi-tion systems from CRL specifications. By having a trans-lation from Erlang to CRL we can apply the verification tools for process algebras and labelled transition systems to industrial code. The translation is aware of the major design component in the switching software. This knowl-edge is used to ensure that the size of the labelled transition system generated by the tools is smaller than with a naive translation. 1.