program-verification

This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical University of Munich.

fpv functional-programming tum ocaml wp technical-university munich program-verification eidi2-revision-course eidi eidi2 eidi-2 revision-course big-step

Updated Mar 12, 2019
OCaml

utpalbora / LLOV

Star

LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs

fortran llvm static-analysis openmp clang program-verification polly llvm-ir race-detection race-conditions flang data-race race-detector openmp-verification dataracebench-fortran openmp-programs llvm-openmp-verifier race-checker

Updated Jan 25, 2021
C++

UniVE-SSV / lisa

Star

📚 LiSA, a Library for Static Analysis

analysis static-analysis analyzer formal-methods static-analyzer program-verification static-analyzers abstract-interpretation

Updated Aug 18, 2021
Java

tribbloid / shapesafe

Star

∀ Linear Algebra ∃ Proof System between Types

machine-learning scala linear-algebra program-verification shape-safety

Updated Aug 12, 2021
Scala

Flunzmas / gym-autokey

Star

An OpenAI gym environment for automated rule-based deductive program verification in KeY.

reinforcement-learning verification openai-gym formal-methods program-verification formal-verification gym-environment deductive-reasoning reinforcement-learning-environments

Updated Nov 13, 2020
Java

co-dan / SeLoC

Star

Strong non-interference for fine-grained concurrent programs

coq iris type-system program-verification separation-logic coq-library noninterference

Updated May 25, 2021
Coq

utpalbora / drb_fortran

Star

DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools

fortran openmp program-verification llvm-ir race-detection data-race-detection dataracebench-fortran-kernels

Updated May 28, 2020
Fortran

sdasgup3 / PLDI19-ArtifactEvaluation

Star

Artifact Evaluation, PLDI'19

x86-64 formal-semantics instruction-semantics program-verification isa-specification

Updated Apr 18, 2020

seahorn / sea-cut

Star

C/C++ refactoring tool for library abstractions

refactoring c cplusplus static-analysis program-verification

Updated Aug 23, 2019
C++

viperproject / voila

Star

Voila is proof outline checker for fine-grained concurrency verification

concurrency verification formal-methods program-verification software-verification separation-logic fine-grained-concurrency

Updated Jul 27, 2021
Scala

utpalbora / OmpSCR_v2.0

Star

Clone of OmpSCR v2.0 with modifications

openmp shared-memory program-verification sword archer race-detection parallel-programming shared-memory-parallel helgrind data-race-detection llov romp valgrind-drd

Updated May 16, 2020
Fortran

IITH-Compilers / drb_fortran

Star

DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools

fortran openmp program-verification llvm-ir race-detection data-race-detection dataracebench-fortran-kernels

Updated Oct 17, 2019
Fortran

SatyendraBanjare / Type-Theory-notes

Star

Report on advancements in Type Theory and application of Program Verification

programming-language verification proof-assistant type-theory quantum-computing theory program-verification quantum-programming-language typesystem theroy-reports language-verification

Updated Oct 23, 2018
TeX

adamalston / comp550

Star

[sp20] Algorithms and Analysis. Formal specification and verification of programs. Techniques of algorithm analysis. Problem-solving paradigms. Survey of algorithms.

algorithms efficiency sorting-algorithms algorithm-analysis program-verification

Updated May 16, 2020

Improve this page

Add a description, image, and links to the program-verification topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the program-verification topic, visit your repo's landing page and select "manage topics."

Learn more