The Erlang Verification Tool.

Thomas Noll, Lars-ke Fredlund, Dilian Gurov

Browse the full TACAS paper archive.