Semi-Automated Verification of Erlang Code (2001)

Cached

Download Links

by Lars-Åke Fredlund , Dilian Gurov , Thomas Noll
Citations:5 - 1 self

Documents Related by Co-Citation

11 A Verification Tool for Erlang – Lars-Åke Fredlund, Lars Ake Fredlund, Dilian Gurov, Mads Dam, Thomas Arts, Thomas Noll, Gennady Chugunov - 2003
16 Development of a verified Erlang program for resource locking – Thomas Arts, Clara Benac Earle - 2001
20 Verification of Erlang programs using abstract interpretation and model checking – F Huch - 1999
94 Concurrent Programming in ERLANG – Joe Armstrong, Robert Virding, Claes Wikström, Mike Williams - 1993
3 Verification of Erlang programs using SPIN – C Wiklander - 1999
2 A rewriting logic implementation of Erlang – T Noll - 2001
2 Equational abstractions for model checking erlang programs – T Noll - 2005
2 Modelling programming languages for concurrent and distributed systems in specification languages – C K Roy - 2004
6 Truth - A verification platform for concurrent systems – Martin Lange, Martin Leucker, Thomas Noll, Stephan Tobies - 1998
10 An introduction to Core Erlang – Richard Carlsson - 2001
3 Core Erlang 1.0.3 language specification – R Carlsson, B Gustavsson, E Johansson, T Lindgren, S-O Nyström, M Pettersson, R Virding - 2004
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
3219 Communication and Concurrency – R Milner - 1990
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
4 Sánchez Penas. Translating Erlang to mCRL – T Arts, C Benac Earle, J J - 2004
6 On the Verification of Open Distributed Systems – Mads Dam, Lars-åke Fredlund, Lars-ake Fredlund - 1998
3 Towards a semantics for Erlang – L- ˚A Fredlund - 1999
2 A definition of Erlang (draft – M Petterson - 1996
8 Flow graphs for testing sequential erlang programs – M Widera - 2004