CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
-
Updated
May 14, 2024 - Java
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Static analysis framework for C
DPLL(T)-based Verification tool for DNNs
Teaching and Learning Software Verification via SVF
Read-only mirror of the Klever Git repository
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently Nidhugg supports the SC, TSO, PSO, POWER and ARM (partial) memory models.
LSVerifier - Large Systems Verifier
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
This repository contains an analysis of a Compound Unit student project. Analysis was done using tools for static and dynamic software verification. The repository is created for the purpose of Software Verification master's studies course at the Faculty of Mathematics.
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
This repository contains three ontology files relevant to the Event-Based Functional Behaviour Ontology (EFBO) project as part of a Software Engineering thesis.
🌍 A poly-language execution-based violation-witness validator
full-program induction technique extended to probabilistic programs
Personal Webpage
Lean4-Framework to reason about multithreaded algorithms
Abstractly represent software error traces as finite automata.
About Coursework 1 for ELEC70056: Hardware and Software Verification, Software Component - Verification of code using Dafny and the theorem-prover Isabelle
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."