Model checking
Model checking Erlang code through formal methods.

No queries for www.dcs.shef.ac.uk/~jd/Projects/erlang.html