program-verification

There are 42 repositories under program-verification topic.

MicroViper-Verifier
A deductive program verification tool for MicroViper programming language
Language:Rust
02141_Computer_Science_Modelling
02141 Computer Science Modelling Spring 23 DTU
Language:F#
drb_fortran
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
Language:Fortran
Verify-Dijkstras-Algorithm-in-Idris
A verification program that proves Dijkstra's algorithm correctness written in Idris.
Language:TeX
Type-Theory-notes
Report on advancements in Type Theory and application of Program Verification
Language:TeX