Concuerror
Model checker
Tools for systematically testing Erlang programs for concurrency errors and verifying their absence.
Concuerror is a stateless model checking tool for Erlang programs.
333 stars
16 watching
41 forks
Language: Erlang
last commit: 4 months ago
Linked from 1 awesome list
automaticcodecovcodecov-badgeconcuerrorconcurrent-erlang-programsconcurrent-programmingdebuggingerlangerlang-programserlang-versions-badgemodel-checkermodel-checkingotpstateless-model-checkingsystematic-testingtestingtooltravis-badgeverification
drobakowski/awesome-erlangRelated projects:
| Repository | Description | Stars |
|---|---|---|
 barrucadu/dejafu | A tool for testing concurrent Haskell programs to ensure they behave deterministically and correctly | 196 |
 itcathyh/conexec | A toolkit to execute functions concurrently while specifying timeouts and efficient memory usage | 16 |
 tchajed/iris-simp-lang | Instantiates a simple programming language with Iris to verify concurrent separation logic programs | 49 |
 cwingrav/cimodeltester | An interactive web interface for testing and debugging CodeIgniter models | 11 |
 ideawu/c1000k | A tool to test an OS's capacity to handle 1 million concurrent network connections. | 601 |
 olical/conjure | An interactive environment for evaluating code within a running program. | 1,806 |
 quolpr/quicktest.nvim | A plugin for running and testing code in multiple programming languages | 83 |
 forhappy/cplusplus-concurrency-in-practice | A comprehensive guide to C++ concurrency programming covering its basics and advanced topics. | 5,329 |
 parsecph/clobbr | A tool to test API performance and resilience under various conditions | 210 |
 jhalterman/concurrentunit | A toolkit for testing concurrent and asynchronous code without dependencies | 420 |
 liveforeverx/ratx | Provides an Erlang application to limit task concurrency and protect against overload | 20 |
 sindresorhus/p-limit | Limits concurrent execution of promise-returning and async functions. | 2,083 |
 parsifal-47/muterl | A tool for verifying test quality by introducing small changes to code and checking if tests pass. | 15 |
 concurrencylabs/locust-cloudwatch | A tool to publish load test results as CloudWatch metrics from Locust test scripts | 30 |
 convco/convco | Tools for working with conventional commits and versioning | 253 |