Coverage analysis

[Peter-Henry Mander]

Hi everyone,

Do you know of code analysis tools for Erlang? I had heard of a research 
project aimed at proving program correctness, but I don't remember where 
to find it. What I'm looking for primarily is something that will simply 
do static and dynamic code coverage, telling me if there's untested 
code, or "dead wood" in a program. Is such a thing available under a GNU 
or BSD licence?

Pete.