Abstract
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.
Most of the work was done during the author’s employment at the Department of Teleinformatics, Royal Institute of Technology (KTH), Stockholm, Sweden.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
J.L. Armstrong, S.R. Virding, M.C. Williams, and C. Wikström. Concurrent Programming in Erlang. Prentice Hall International, 2nd edition, 1996.
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.
M. Dam, L.-a. Fredlund, and D. Gurov. Toward parametric verification of open distributed systems. In Compositionality: the Significant Difference, volume 1536 of Lecture Notes in Computer Science, pages 150–185. Springer-Verlag, 1998.
M. Dam and D. Gurov. Compositional verification of CCS processes. In Perspectives of System Informatics: Proceedings of PSI’99, volume 1755 of Lecture Notes in Computer Science, pages 247–256. Springer-Verlag, 1999.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Noll, T., Fredlund, Lå., Gurov, D. (2001). The Erlang Verification Tool. In: Margaria, T., Yi, W. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2001. Lecture Notes in Computer Science, vol 2031. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45319-9_41
Download citation
DOI: https://doi.org/10.1007/3-540-45319-9_41
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41865-8
Online ISBN: 978-3-540-45319-2
eBook Packages: Springer Book Archive