Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
-
Updated
Sep 18, 2026 - Scala
#
cvc4
Here are 12 public repositories matching this topic...
Model finder for higher-order logic
-
Updated
Jul 11, 2026 - OCaml
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
analysis llvm verification sudoku-solver fuzzing dafny boogie hacktoberfest cvc4 hoare-logic cbmc z3-smt-solver z3py hacktoberfest2021 dynamic-taint-analysis uclid5 uclid
-
Updated
Apr 9, 2023 - Boogie
Automated Controller Synthesis
-
Updated
Jun 27, 2018 - Python
a constraint-based syntax-guided synthesis (SyGuS) engine
-
Updated
Oct 19, 2022 - Python
SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces
monitoring learning-algorithm z3 synthesis sat-solver smt-lib cvc4 security-tools sygus ltl-formulas pltl
-
Updated
May 5, 2022 - Python
EMME: ECMAScript Memory Model Evaluator
-
Updated
Apr 5, 2018 - Python
Hands-on Constraint Solving: Sudoku to SAT/SMT
-
Updated
Oct 8, 2017 - Ruby
Symbolic encoding of a C program.
-
Updated
Jan 3, 2021 - SMT
A reproduction of the paper "Grammar Filtering for Syntax-Guided Synthesis" (Morton et al., AAAI 2020).
-
Updated
Aug 9, 2026 - Jupyter Notebook
Add this topic to your repo
To associate your repository with the cvc4 topic, visit your repo's landing page and select "manage topics."