The Erlang Verification Tool

  • Thomas Noll
  • Lars-åke Fredlund
  • Dilian Gurov
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2031)


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.


Proof System Proof Tree Proof Rule Functional Programming Language Erlang Program 
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.


  1. 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. 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
  3. 3.
    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.CrossRefGoogle Scholar
  4. 4.
    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.CrossRefGoogle Scholar
  5. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Thomas Noll
    • 1
  • Lars-åke Fredlund
    • 2
  • Dilian Gurov
    • 2
  1. 1.Lehrstuhl für Informatik IIAachen University of TechnologyAachenGermany
  2. 2.Swedish Institute of Computer Science (SICS)KistaSweden

Personalised recommendations