software-verification topic

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

NASA-SW-VnV

Static Analyzer for LLVM bitcode based on Abstract Interpretation

seahorn

Collection of Verification Tasks (MOVED, please follow the link)

sosy-lab

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

staticafi

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

sosy-lab

Static analysis framework for C

goblint

Map2Check: Finding Software Vulnerabilities

hbgit

An Exchange Format for Verification Witnesses (MOVED, please follow the link)

sosy-lab

Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.

SatyendraBanjare

Read-only mirror of the Klever Git repository

ldv-klever