2 results found Sort:

epfl-lara
stainless epfl-lara
54
360
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
formalsec
smtml formalsec
8
28
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
774 commits to main branch, last one 5 days ago