2 results found Sort:

epfl-lara
stainless epfl-lara
54
367
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,067 commits to main branch, last one 2 days ago
formalsec
smtml formalsec
8
30
mit
7
A frontend for multiple SMT solvers in OCaml
z3 smt cvc5 ocaml smt-lib alt-ergo bitwuzla colibri2 webassembly symbolic-execution
Created 2023-03-23
780 commits to main branch, last one 8 days ago