Department of Information Technology

Concuerror

Concuerror is a systematic testing (aka, stateless model checking) tool for finding and reproducing concurrency errors in Erlang programs.

You can more find information about Concuerror (its code, tutorials, relevant publications, etc.) on its dedicated website: http://parapluu.github.io/Concuerror

People maintaining Concuerror:

Since 2014, Concuerror's development has been partly supported by UPMARC and the EU project RELEASE.

Updated  2017-04-01 15:56:19 by Konstantinos Sagonas.