2 results found Sort:

epfl-lara
stainless epfl-lara
55
367
apache-2.0
18
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,070 commits to main branch, last one a day ago
formalsec
smtml formalsec
8
34
mit
7
An SMT solver frontend for OCaml
z3 smt cvc5 ocaml smt-lib alt-ergo bitwuzla colibri2 webassembly symbolic-execution
Created 2023-03-23
832 commits to main branch, last one 4 days ago