parapluu / Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
☆334Updated 3 weeks ago
Alternatives and similar repositories for Concuerror:
Users that are interested in Concuerror are comparing it to the libraries listed below
- A concolic testing tool for the Erlang functional programming language.☆212Updated last year
- Erlang Patterns of Concurrency☆315Updated last year
- Job scheduler for load regulation☆326Updated last year
- A Gradual type system for Erlang☆613Updated 3 months ago
- A pure Erlang Key/Value store - based on a LSM-tree, optimised for HEAD requests☆356Updated this week
- A safety valve for your erlang node☆262Updated 7 years ago
- Sojourn-time based active queue management library☆162Updated 5 years ago
- External buffer processes to protect against mailbox overflow in Erlang