# parapluu/concuerror

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/parapluu-concuerror).**

_How this analysis was created: the description and tags below were written by an AI model that read this project's README and public documentation pages; stars, license and language come straight from the GitHub API. The model does not read the source code._

0 stars · 0 forks

## Links

- GitHub: https://github.com/parapluu/Concuerror
- awesome-repositories: https://awesome-repositories.com/repository/parapluu-concuerror.md

## Description

Concuerror is a stateless model checking tool for Erlang programs. It can be used to systematically test programs for concurrency errors, detect and report errors that only occur on few, specific schedulings or verify their absence.

## Tags

### Part of an Awesome List

- [Code Analysis](https://awesome-repositories.com/f/awesome-lists/devtools/code-analysis.md) — Systematic testing tool for identifying concurrency bugs.