There are 6 repositories under program-verification topic.
Binary Analysis Platform
A verification toolchain for Rust programs
Generates loop invariants for program verification
Interface with the rustc compiler for the purpose of program verification
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
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.
Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchain [maintainer=@palmskog]
Information about verification tools. Browse the data at https://slebok.github.io/proverb/
Towards AI-Assisted Synthesis of Verified Dafny Methods
BAP python bindings
This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical University of Munich.
Rust frontend for LiSA
An OpenAI gym environment for automated rule-based deductive program verification in KeY.
GCL verification tool based on predicate transformers
TACAS'23: Verification-guided Programmatic Controller Synthesis
Artifact Evaluation, PLDI'19
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
Clone of OmpSCR v2.0 with modifications
Voila is proof outline checker for fine-grained concurrency verification
A verification program that proves Dijkstra's algorithm correctness written in Idris.
Report on advancements in Type Theory and application of Program Verification
[sp20] Algorithms and Analysis. Formal specification and verification of programs. Techniques of algorithm analysis. Problem-solving paradigms. Survey of algorithms.
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
02141 Computer Science Modelling Spring 23 DTU