/Concuerror

Concuerror is a stateless model checking tool for Erlang programs.

Primary LanguageErlangBSD 2-Clause "Simplified" LicenseBSD-2-Clause

Watchers