At a Glance
| Applications | Model Checker |
| Developers | Uppsala University |
| Licenses | BSL |
| Maintenance | Actively Maintained |
Description
Eldarica is a model checker for Horn clauses, Numerical Transition Systems, and software programs.
| Applications | Model Checker |
| Developers | Uppsala University |
| Licenses | BSL |
| Maintenance | Actively Maintained |
Eldarica is a model checker for Horn clauses, Numerical Transition Systems, and software programs.