loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
16th IEEE International Conference on Automated Software Engineering (ASE'01)
Semi-Automated Verification of Erlang Code
San Diego, California
November 26-November 29
ISBN: 0-7695-1426-X
ASCII Text
x 
 
Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, "Semi-Automated Verification of Erlang Code," Automated Software Engineering, International Conference on, pp. 319, 16th IEEE International Conference on Automated Software Engineering (ASE'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/ASE.2001.989820,
author = {Lars-Åke Fredlund and Dilian Gurov and Thomas Noll},
title = {Semi-Automated Verification of Erlang Code},
journal ={Automated Software Engineering, International Conference on},
volume = {0},
year = {2001},
isbn = {0-7695-1426-X},
pages = {319},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2001.989820},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Automated Software Engineering, International Conference on
TI - Semi-Automated Verification of Erlang Code
SN - 0-7695-1426-X
SP
EP
A1 - Lars-Åke Fredlund,
A1 - Dilian Gurov,
A1 - Thomas Noll,
PY - 2001
VL - 0
JA - Automated Software Engineering, International Conference on
ER -
 
Lars-Åke Fredlund, Swedish Institute of Computer Science
Dilian Gurov, Swedish Institute of Computer Science
Thomas Noll, Aachen University of Technology
Erlang is a functional programming language with support for concurrency and message passing communication that is used at Ericsson for developing telecommunication applications. We consider the challenge of verifying temporal properties of systems programmed in Erlang with dynamically evolving process structures. To accomplish this a rich verification framework for goal-directed, proof system- based verification is used. This paper investigates the problem of semi-automating the verification task by identifying the proof parameters crucial for successful proof search.
Citation:
Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, "Semi-Automated Verification of Erlang Code," ase, pp.319, 16th IEEE International Conference on Automated Software Engineering (ASE'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.