Erlang QuickCheck - - Erlang/QuickCheck is a library for random testing of Erlang programs against specifications.
FORSE - - FORmally Based Tool Support for Erlang Development, a reearch project at the University of Sheffield.
FORSE - - Formally-Based Tool Support for Erlang Development, a joint research project with the University of Kent, Sheffield University, T-Mobile and Erlang Training and Consulting.
HiPE - - High Performance Erlang is an ASTEC project at the Computing Science Department of Uppsala University, aimed at efficiently implementing the concurrent functional language Erlang.
Model checking - - Model checking Erlang code through formal methods.
Safer Erlang - - A research project focussed on the design and prototyping of a secure and safe mobile code execution environment in Erlang.
UBF - - Erlang is being used by Joe Armstrong for researching the transportation and description of complex data structures across networks.
Verification of Erlang Programs - - A project to produce a method and prototype tool-set for verifying a substantial fragment of the Erlang programming language.