loop-invariants topic
List
loop-invariants repositories
LoopInvGen
55
Stars
21
Forks
Watchers
Generates loop invariants for program verification
dig
35
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...