PrototypeCommon
uuverifiers/eldarica
The Eldarica model checker
- Owner
- uuverifiers (organization)
- Stars
- Stars: 111
- Forks
- Forks: 27
- Language
- SMT
- License
- None
- Created
- 2014
- Topics
- horn-clausessmt-solvermodel-checkerverificationsmt2prolog
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in SMT
All SMT repos- CyZooNiC/cyberdeckStars: 138SMTPrototype
- metrox-eth/mossStars: 123SMTPrototype
- eclsnowman/Eustathios-Spider-V2Stars: 112SMTPrototype
- PL-ML/code2invStars: 106SMTPrototype