Verifying generic erlang client-server implementations

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

Volumn 2011, Issue , 2001, Pages 37-52

  Arts, Thomas ^a   Noll, Thomas ^b  

^a ERICSSON RESEARCH   (Sweden)

^b ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

ARCHITECTURAL LEVELS; CLIENT-SERVER IMPLEMENTATIONS; DISTRIBUTED SYSTEMS; INTERACTIVE THEOREM PROVER; OPEN TELECOM PLATFORMS; SERVER APPLICATIONS; STANDARD COMPONENTS; VERIFICATION METHOD;

ARTIFICIAL INTELLIGENCE;

EID: 32044446509     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45361-x_3     Document Type: Conference Paper

References (11)

1. T. Arts, M. Dam, L.-Å. Fredlund, and D. Gurov: System description: Verification of distributed Erlang programs. In Proc. CADE’98, volume 1421, pages 38–41. Springer–Verlag, 1998.
2. T. Arts and T. Noll. Verifying generic Erlang client–server implementations. Technical Report 00–08, Aachen University of Technology, Aachen, Germany, 2000. ftp://ftp.informatik.rwth-aachen.de/pub/reports/2000/00-08.ps.gz.
3. J.L. Armstrong, S.R. Virding, M.C. Williams, and C. Wikström. Concurrent Programming in Erlang. Prentice Hall International, 2nded ition, 1996.
4. E.M. Clarke, O. Grumberg, and D.E. Long. Model checking andabstraction. ACM Transactions on Programming Languages and Systems, 16(5):1512–1542, 1994.
5. E.M. Clarke and J.M. Wing: Formal methods: State of the art andfuture directions. Technical Report CMU–CS–96–178, Carnegie Mellon University, Pittsburg, USA, 1996.
6. 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.
7. L.- Å. Fredlund. Towards a semantics for Erlang. Unpublished manuscript. Swedish Institute of Computer Science.
8. F. Huch. Verification of Erlang programs using abstract interpretation andmo del checking. ACM SIGPLAN Notices, 34(9):261–272, 1999. Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP’99).
9. M. Lange, M. Leucker, T. Noll, and S. Tobies. Truth – a verification platform for concurrent systems. In Tool Support for System Specification, Development, and Verification, Advances in Computing Science. Springer–Verlag Wien New York, 1999.
10. Open Telecom Platform (OTP). Ericsson Utvecklings AB, http://www.erlang.org/documentation/doc/index.html.
11. CCITT Specification andDescription Language (SDL). Technical Report 03/93, International Telecommunication Union, 1993. http://www.itu.int/.