Abstract
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.

ASTEC seminar
November 7, 2000, 13:15

Place: Information technology, Uppsala University
Room: 1510
Time: 13.15

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.