Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: cegis

izycheva/pine

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

Language: Python - Size: 25.4 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 4

SaswatPadhi/LoopInvGen 📦

Generates loop invariants for program verification

Language: OCaml - Size: 3.91 MB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 60 - Forks: 20

gomahajan/formal-uav

UAV control with formal guarantees

Language: Python - Size: 68.4 MB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 7 - Forks: 1

Related Keywords
cegis 3 floating-point 1 loop-invariant-generation 1 invariant-generation 1 invariants 1 loop-invariants 1 program-verification 1 sygus 1 sygus-solver 1 syntax-guided-synthesis 1 synthesis 1 formal-verification 1 program-synthesis 1 uav 1