2 results found Sort:

epfl-lara
stainless epfl-lara
54
362
apache-2.0
19
Verification framework and tool for higher-order Scala programs
z3 smt cvc4 cvc5 inox scala verification formal-methods model-checking proof-assistant
Created 2016-08-17
4,059 commits to main branch, last one 8 days ago
testsmt
yinyang testsmt
23
185
mit
6
A fuzzing framework for SMT solvers
z3 smt cvc4 fuzzing smt-lib testing smt-solver
Created 2020-10-30
529 commits to master branch, last one about a year ago