System description: verification of distributed erlang programs

摘要

Software written for telecommunication applications has to meet high quality demands. Correctness is one major concern; the activity of proving formally that a system is correct is called verification.