[sp20] Algorithms and Analysis. Formal specification and verification of programs. Techniques of algorithm analysis. Problem-solving paradigms. Survey of algorithms.
-
Updated
May 16, 2020
[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
My solution for project 1 for the "Program Verification" course at ETH Zurich (ETHZ) (https://www.pm.inf.ethz.ch/education/courses/program-verification.html)
Report on advancements in Type Theory and application of Program Verification
ReTHFL: νHFL(Z) (aka higher-order CHC) solver based on refinement types
A verification program that proves Dijkstra's algorithm correctness written in Idris.
02141 Computer Science Modelling Spring 23 DTU
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
Voila is proof outline checker for fine-grained concurrency verification
Clone of OmpSCR v2.0 with modifications
C/C++ refactoring tool for library abstractions
Artifact Evaluation, PLDI'19
GCL verification tool based on predicate transformers
TACAS'23: Verification-guided Programmatic Controller Synthesis
Strong non-interference for fine-grained concurrent programs
An OpenAI gym environment for automated rule-based deductive program verification in KeY.
Rust frontend for LiSA
This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical University of Munich.
LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs
Add a description, image, and links to the program-verification topic page so that developers can more easily learn about it.
To associate your repository with the program-verification topic, visit your repo's landing page and select "manage topics."