Topic: "specification-mining"
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: about 1 month ago - Pushed at: about 1 month ago - Stars: 41 - Forks: 6
cdc08x/MINERful
A fast, two-step algorithm for the automated discovery of, and reasoning on, declarative rules of process and system behaviour
Language: Java - Size: 636 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 34 - Forks: 10
