The Erlang Verification Tool
The functional programming language Erlang was developed by the Ericsson corporation to address the complexities of developing large-scale programs within a concurrent and distributed setting. It is successfully used in the design and implementation of telecommunication systems.
KeywordsProof System Proof Tree Proof Rule Functional Programming Language Erlang Program
- 1.J.L. Armstrong, S.R. Virding, M.C. Williams, and C. Wikström. Concurrent Programming in Erlang. Prentice Hall International, 2nd edition, 1996.Google Scholar
- 2.T. Arts and M. Dam. Verifying a distributed database lookup manager written in Erlang. In Proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM’99), volume 1708 of Lecture Notes in Computer Science, pages 682–700. Springer-Verlag, 1999.Google Scholar
- 5.A. Simpson. Compositionality via cut-elimination: Hennessy-Milner logic for an arbitrary GSOS. In Proc. LICS, pages 420–430. IEEE Computer Society Press, 26–29 1995.Google Scholar