Announcement: A formal verification tool for Erlang
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.
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)