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. |
| Princess | Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic with uninterpreted … |