Collection of Verification Tasks (MOVED, please follow the link)
-
Updated
Oct 28, 2021
Collection of Verification Tasks (MOVED, please follow the link)
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Static analysis framework for C
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Information to reproduce results from SV-COMP (MOVED, please follow the link)
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Teaching and Learning Software Verification via SVF
Read-only mirror of the Klever Git repository
An Exchange Format for Verification Witnesses (MOVED, please follow the link)
Map2Check: Finding Software Vulnerabilities
LSVerifier - Large Systems Verifier
Static & Dynamic Verification of C programs
Voila is proof outline checker for fine-grained concurrency verification
Prototype functional programming language with refinement types, powered by Inox
Software Verification course project - Fixing bugs using a working example as a specification
A consistency checker for probabilistic software quality models
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.
Rust software verification benchmarks
An interpreter for Denotational Semantics of While language
Add a description, image, and links to the software-verification topic page so that developers can more easily learn about it.
To associate your repository with the software-verification topic, visit your repo's landing page and select "manage topics."