Semi-automated verification of Erlang code

Fredlund, Lars-Åke and Gurov, Dilian and Noll, Thomas (2002) Semi-automated verification of Erlang code. In: 16th conference on Automated Software Engineering (ASE 2001), 26 - 29 Nov 2001, San Diego, California, USA.

Full text not available from this repository.


Erlang is a functional programming language with support for concurrency and message passing communication that is widely used at Ericsson for developing telecommunication applications. We consider the challenge of verifying temporal properties of Erlang programs, which are used to implement systems with dynamically evolving process structures and unbounded data. This is a hard task, which requires a rich verification framework. Building upon such a framework for goal-directed, proof system--based verification, the paper investigates the problem of semi--automating this task by identifying the proof parameters crucial for successful proof search.

Item Type:Conference or Workshop Item (Paper)
ID Code:3084
Deposited On:16 Jul 2008
Last Modified:18 Nov 2009 16:17

Repository Staff Only: item control page