GitPlanet
All Git Users → uuverifiers

2 open source projects by uuverifiers

[ Open user page on Github ]
1. eldarica
The Eldarica model checker
✭ 41
scalaSMTshellLexMakefilecverificationsmt2smt-solvermodel-checkerhorn-clauses
2. ostrich
An SMT Solver for string constraints
✭ 18
scalaSMTshellstringstheorem-provingregular-expressionssmt-solvertheorem-prover
1-2 of 2 user projects