specification-mining topic
List
specification-mining repositories
MINERful
32
Stars
10
Forks
Watchers
A fast, two-steps algorithm for the automated discovery and management of declarative business process constraints
dig
39
Stars
6
Forks
Watchers
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...