dynaroars / digLinks

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.
41Updated last week

Alternatives and similar repositories for dig

Users that are interested in dig are comparing it to the libraries listed below

Sorting: