System description: Verification of distributed Erlang programs

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


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AVWW96]
    J. Armstrong, R. Verding, C. Wikström and M. Wiliams, Concurrent Programming in Erlang. 2nd edition, Pretence Hall, 1996.Google Scholar
  2. [Dam95]
    M. Dam, Compositional proof systems for model checking infinite state processes. In Proceedings CONCUR '95, LNCS 962, p. 12–26, 1995.Google Scholar
  3. [DFG98]
    M. Dam, L.-å. Fredlund and D. Gurov, Toward Parametric Verification of Open Distributed Systems. To appear in: H. Langmaack, A. Pnueli, W.-P. De Roever (eds.), Compositionality: The Significant Difference, SpringerVerlag, 1998.Google Scholar
  4. [EL86]
    E.A. Emerson and C. Lei, Efficient model checking in fragments of the prepositional mu-calculus. In Proceedings LICS'86, p. 267–278, 1986.Google Scholar
  5. [Gur98]
    D. Gurov, Specification and Verification of Communicating Systems with Value Passing. Ph.D. Thesis, Department of Computer Science, University of Victoria, March 1998.Google Scholar
  6. [FW94]
    M. Fröhlich and M. Werner. The graph visualization system daVinci — a user interface for applications. Technical Report 5/94, Department of Computer Science, Bremen University, 1994.Google Scholar
  7. [Koz83]
    D. Kozen, Results on the prepositional Μ-calculus. Theoretical Computer Science, 27:333–354, 1983.zbMATHMathSciNetCrossRefGoogle Scholar
  8. [Par76]
    D. Park, Finiteness is mu-ineffable. Theoretical Computer Science, 3:173–181, 1976.MathSciNetCrossRefGoogle Scholar
  9. [SW91]
    C. Stirling and D. Walker, Local model checking in the modal mu-calculus. Theoretical Computer Science, 89(1):161–177, 1991.MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Thomas Arts
    • 1
  • Mads Dam
    • 2
  • Lars -åke Fredlund
    • 2
  • Dilian Gurov
    • 2
  1. 1.Computer Science LaboratoryEricsson Telecom ABStockholmSweden
  2. 2.Swedish Institute of Computer ScienceKistaSweden

Personalised recommendations