loop-invariants

There are 1 repository under loop-invariants topic.

SaswatPadhi / LoopInvGen
Generates loop invariants for program verification
loop-invariants synthesis sygus invariants invariant-generation program-verification syntax-guided-synthesis sygus-solver cegis
Language:OCaml 55
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.
symbolic-execution invariant-generation dynamic-analysis machine-learning specification-mining loop-invariants program-verification neural-network-verification
Language:Python 33
sdasgup3 / partial-redundancy-elimination
Partial Redundancy Elimination Pass in LLVM
compiler-optimization llvm loop-invariants common-subexpression-elimination data-flow-analysis bitvector
Language:TeX 12
xxleyi / loop_invariants
记录以及整理「循环不变式」视角下的算法题解
loop-invariants algorithms
5
ShrohanMohapatra / ExplorePLT
A repository that describes my explorations on formal verification using Dafny, techniques from programming language theory such as CYK parsing, Earley parsing, type-theoretic things like lambda calculus etc.
formal-verification dafny formal-specification loop-invariants weakest-preconditions lambda-calculus lambda-expressions church-thesis turing-completeness earley-algorithm earley-parser cyk-algorithm
Language:Python 4
ZohaibRahim / Algorithm-Analysis-and-Development
Algorithm Analysis and Development
algorithms analysis-of-algorithm assertions loop-invariants np-completeness program-correctness asymptotic-complexity asymptotic-notation comparision-of-sorting-algorithms correctness-proofs data-type-invariants development-of-algorithm recurssion-relationship
0
dbanetto / loop-stats
Java tool to gather statistics about loop usage in Java programs
java loops loop-invariants
Language:Java