Concuerror is a stateless model checking tool for Erlang programs.
- concuerror
- erlang
- systematic-testing
- testing
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
pure functional and generic programming for Erlang
- foldable
- traversable
- erlang
- lenses
parse mimetypes
parse transform for accurate line numbers
rebind parse transform for erlang