Concuerror
by parapluu
Concuerror is a stateless model checking tool for Erlang programs.
AI summary
Model checker
Tools for systematically testing Erlang programs for concurrency errors and verifying their absence.
- stars
- 333
- forks
- 41
- watching
- 16
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Concurrency tester
A tool for testing concurrent Haskell programs to ensure they behave deterministically and correctly
Concurrent Executor
A toolkit to execute functions concurrently while specifying timeouts and efficient memory usage
Concurrent programming verifier
Instantiates a simple programming language with Iris to verify concurrent separation logic programs
Model tester
An interactive web interface for testing and debugging CodeIgniter models
Connection tester
A tool to test an OS's capacity to handle 1 million concurrent network connections.
olical/conjure1.8K
Code evaluator
An interactive environment for evaluating code within a running program.
Code tester
A plugin for running and testing code in multiple programming languages
Concurrency tutorial
A comprehensive guide to C++ concurrency programming covering its basics and advanced topics.
API stress tester
A tool to test API performance and resilience under various conditions
Test harness
A toolkit for testing concurrent and asynchronous code without dependencies
Concurrency limiter
Provides an Erlang application to limit task concurrency and protect against overload
Concurrent Limiter
Limits concurrent execution of promise-returning and async functions.
Test quality checker
A tool for verifying test quality by introducing small changes to code and checking if tests pass.
Load tester
A tool to publish load test results as CloudWatch metrics from Locust test scripts
Commit validator
Tools for working with conventional commits and versioning
Featured in 1 awesome list
Each link jumps to the spot where the list mentions Concuerror.
