CoRnucopia of ABstractions: a language-agnostic library for abstract interpretation
-
Updated
Jul 29, 2020 - C++
#
invariant-generation
Here are 3 public repositories matching this topic...
Generates loop invariants for program verification
synthesis
invariants
program-verification
loop-invariants
sygus
syntax-guided-synthesis
sygus-solver
invariant-generation
cegis
-
Updated
Aug 8, 2020 - OCaml
A tool for generating nonlinear numerical invariants for C and Java programs. DIG uses dynamic analysis to infer invariants over program execution traces and applies symbolic execution to inferred invariants.
-
Updated
Jul 19, 2020 - Python
Improve this page
Add a description, image, and links to the invariant-generation topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the invariant-generation topic, visit your repo's landing page and select "manage topics."