Development of a verified Erlang program for resource locking (2001)

Cached

Download Links

by Thomas Arts , Clara Benac Earle
Venue: Formal Methods in Industrial Critical Systems
Citations:16 - 3 self

Documents Related by Co-Citation

2395 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
15 Trace Analysis of Erlang Programs – Thomas Arts, Lars-Åke Fredlund - 2002
10 Semi-formal development of a fault-tolerant leader election protocol in Erlang – Thomas Arts, Koen Claessen, Hans Svensson - 2005
11 A Verification Tool for Erlang – Lars-Åke Fredlund, Lars Ake Fredlund, Dilian Gurov, Mads Dam, Thomas Arts, Thomas Noll, Gennady Chugunov - 2003
6 A semantics for distributed erlang – Koen Claessen - 2005
5 Semi-Automated Verification of Erlang Code – Lars-Åke Fredlund, Lars- Ake, Dilian Gurov, Thomas Noll - 2001
4 Sánchez Penas. Translating Erlang to mCRL – T Arts, C Benac Earle, J J - 2004
5 Fault tolerant leader election. http://www.erlang.org – U Wiger - 2004
94 Concurrent Programming in ERLANG – Joe Armstrong, Robert Virding, Claes Wikström, Mike Williams - 1993
20 Verification of Erlang programs using abstract interpretation and model checking – F Huch - 1999
19 A framework for reasoning about Erlang code – L Fredlund - 2001
13 NetStub: A Framework for Verification of Distributed JavaApplications* – Elliot D. Barlas, Tevfik Bultancomputer
22 Accurate centralization for applying model checking on networked applications – Cyrille Artho - 2006
11 McErlang: A Model Checker for a Distributed Functional Programming Language – Lars-Ake Fredlund, Hans Svensson - 2007
1094 Actors—A Model of Concurrent Computation for Distributed Systems – G Agha - 1986
461 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
15 AXD 301: A new generation ATM switching system – Staffan Blau, Jan Rooth, Jorgen Axell, Fiffi Hellstrand, Magnus Buhrgard, Tommy Westin, Goran Wicklund - 1998
11 Automated Test Generation for Industrial Erlang Applications – Johan Blom, Bengt Jonsson - 2003
13 Virding R.: Core Erlang 1.0 language specification – R Carlsson, B Gustavsson, E Johansson, T Lindgren, S-O Nyström, M Pettersson - 2000