invariant-generation

There are 3 repositories under invariant-generation topic.

  • SaswatPadhi/LoopInvGen

    Generates loop invariants for program verification

    Language:OCaml586520
  • 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

  • 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++5532