program-verification topic
aeneas
A verification toolchain for Rust programs
charon
Interface with the rustc compiler for the purpose of program verification
Verification-Tool-Overview
Information about verification tools. Browse the data at https://slebok.github.io/proverb/
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...
dafny-synthesis
Towards AI-Assisted Synthesis of Verified Dafny Methods
eidi2_repetitorium_tum
This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical University of Munich.