Concuerror

Concuerror is a stateless model checking tool for Erlang programs.

GitHub
332 stars
17 watching
41 forks
Language: Erlang
last commit: 20 days ago
Linked from 1 awesome list

automaticcodecovcodecov-badgeconcuerrorconcurrent-erlang-programsconcurrent-programmingdebuggingerlangerlang-programserlang-versions-badgemodel-checkermodel-checkingotpstateless-model-checkingsystematic-testingtestingtooltravis-badgeverification

Screenshot of parapluu/Concuerror website

parapluu.github.io/Concuerror

Backlinks from these awesome lists: