Is anyone maintaining erltc, the erlang type-checker mentionned at http://www.dcs.gla.ac.uk/fp/doors.html ? Are there other static verification tools for Erlang ? -- Pascal Brisset