cegis

Here are 3 public repositories matching this topic...

SaswatPadhi / LoopInvGen

Generates loop invariants for program verification

synthesis invariants program-verification loop-invariants sygus syntax-guided-synthesis sygus-solver invariant-generation cegis

Updated Jan 22, 2021
OCaml

gomahajan / formal-uav

Star

UAV control with formal guarantees

uav program-synthesis formal-verification cegis

Updated Jan 15, 2018
Python

izycheva / pine

Star

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

floating-point cegis loop-invariant-generation

Updated Dec 27, 2022
Python

Improve this page

Add a description, image, and links to the cegis topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the cegis topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly