Department of Information Technology


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:

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.