VERIFICATION OF ERLANG PROGRAMS USING EVT
Clara Benac Earle
Ericsson Utvecklings AB
The telecommunication company Ericsson is using the functional
language Erlang for the implementation of the control software of
telephone and data switches. To improve the reliability of these
switches, Ericsson and the Swedish Institute of Computer Science
have developed a tool (EVT) for formally verifying Erlang programs.
To address the verification of Erlang programs one needs to lift
the level of abstraction in the tool by means of tactics. In this
talk we present some tactics and examples where tactics were applied.
Place: Information technology, Uppsala University
Room 1510 is in Building 1, Floor 5, room 10
(in the southern part of the building).
Help on how get here and
MIC campus drawing.
There will be an extended period for discussions after the seminar.
Speakers are encouraged to give an short (5 min) introduction to the subject at the begining of the talk.
Listeners are excused if they have to leave after 15.00.
Updated 26-Oct-2000 13:39 by Roland Grönroos
e-mail: info -at- astec.uu.se