loop-invariant-generation

There are 2 repositories under loop-invariant-generation topic.

  • PL-ML/code2inv

    Code2Inv: Learning Loop Invariants for Program Verification

    Language:SMT978522

  • izycheva/pine

    Pine tool. Detailed description of the technique can be found in the paper "Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis" A.Izycheva, E.Darulova, H.Seidl, SAS'20

    Language:Python3224