specification-mining

There are 2 repositories under specification-mining topic.

  • dig

    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:Python395446

  • cdc08x/MINERful

    A fast, two-steps algorithm for the automated discovery and management of declarative business process constraints

    Language:Java31719