#
cegis
Here are 3 public repositories matching this topic...
Generates loop invariants for program verification
synthesisinvariantsprogram-verificationloop-invariantssygussyntax-guided-synthesissygus-solverinvariant-generationcegis
- Updated
Jan 22, 2021 - OCaml
UAV control with formal guarantees
- Updated
Jan 15, 2018 - Python
Pine tool. Detailed description of the technique can be found in the paper "Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis" A.Izycheva, E.Darulova, H.Seidl, SAS'20
- Updated
Mar 12, 2025 - Python
Improve this page
Add a description, image, and links to thecegis topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thecegis topic, visit your repo's landing page and select "manage topics."