program-verification topic
List
program-verification repositories
aeneas
147
Stars
12
Forks
Watchers
A verification toolchain for Rust programs
charon
53
Stars
14
Forks
Watchers
Interface with the rustc compiler for the purpose of program verification
Verification-Tool-Overview
22
Stars
2
Forks
Watchers
Information about verification tools. Browse the data at https://slebok.github.io/proverb/
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...
dafny-synthesis
22
Stars
0
Forks
Watchers
Towards AI-Assisted Synthesis of Verified Dafny Methods