At a Glance
| Applications | Model Checker |
| Developers | Uppsala University |
| Licenses | BSD-2-Clause |
| Maintenance | Actively Maintained |
Description
Concuerror is a stateless model checking tool for Erlang programs.
| Applications | Model Checker |
| Developers | Uppsala University |
| Licenses | BSD-2-Clause |
| Maintenance | Actively Maintained |
Concuerror is a stateless model checking tool for Erlang programs.