The erlang verification tool

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2031 LNCS, Issue , 2001, Pages 582-585

  Noll, Thomas ^a   Fredlimd, Lars Åke ^b   Gurov, Dilian ^b  

^a RWTH AACHEN UNIVERSITY   (Germany)

^b SWEDISH INSTITUTE OF COMPUTER SCIENCE   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 23044527021     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45319-9_41     Document Type: Conference Paper

References (5)

1. J.L. Armstrong, S.R. Virding, M.C. Williams, and C. Wikström. Concurrent Programming in Erlang, Prentice Hall International, 2nd edition, 1996.
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.
3. M. Dam, L.-å. 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.
4. M. Dam and D. Gurov. Compositional verification of CCS processes. In Perspectives of System Informatics: Proceedings of PS I'99, volume 1755 of Lecture Notes in Computer Science, pages 247-256. Springer-Verlag, 1999.
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.