Announcement: A formal verification tool for Erlang

Lars-Ake Fredlund <>
Wed Apr 11 15:04:57 CEST 2001

Dear Erlang Users,

we would like to announce the availability of a tool for
the formal verification of software written in Erlang.
The tool, henceforth called "The Erlang Verification Tool" (EVT),
is a  theorem-proving tool which has been augmented with support
for (a subset of) the Erlang programming language,
and with a graphical user interface.

More information about the verification approach is available at
and the tool itself can be dowloaded from

The people who have designed and programmed the tool,
or have contributed by experimenting with
the tool on case studies, include:
Gennady Chugunov, Mads Dam, Lars-Åke Fredlund, Dilian Gurov (SICS)
Thomas Arts, Clara Benac Earle (Ericsson CSLAB)
Thomas Noll (RWTH Aachen)

More information about the erlang-questions mailing list