Announcement: A formal verification tool for Erlang

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Announcement: A formal verification tool for Erlang

Lars-Åke Fredlund-3
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)