Uppsala University
| Tool | Description |
|---|---|
| Concuerror | Concuerror is a stateless model checking tool for Erlang programs. |
| Eldarica | Eldarica is a model checker for Horn clauses, Numerical Transition Systems, and software programs. |
| Tool | Description |
|---|---|
| Concuerror | Concuerror is a stateless model checking tool for Erlang programs. |
| Eldarica | Eldarica is a model checker for Horn clauses, Numerical Transition Systems, and software programs. |