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
http://www.sics.se/fdt/erlang/
and the tool itself can be dowloaded from
http://www.sics.se/fdt/VeriCode/evt.html

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