GitHub topics: invariant-generation
dynaroars/dig
DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invariants, including nonlinear equalities, octagonal and interval properties, min/max-plus relations, and congruence relations.
Language: Python - Size: 80.8 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 41 - Forks: 6
SaswatPadhi/LoopInvGen 📦
Generates loop invariants for program verification
Language: OCaml - Size: 3.91 MB - Last synced at: 4 months ago - Pushed at: over 4 years ago - Stars: 60 - Forks: 20
dynaroars/dynaplex
A tool for inferring program complexity, e.g., O(nlogn), O(n^2), O(2^n). Dynaplex uses dynamic analysis to infer recurrence relations and then solve them for closed form solutions representing program complexity bounds.
Language: C++ - Size: 13.8 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 2