Static analyzer for C/C++ based on the theory of Abstract Interpretation.
-
Updated
May 31, 2026 - C++
#
software-verification
Here are 119 public repositories matching this topic...
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
llvm verification symbolic-execution instrumentation slice program-verification software-verification klee slicing llvm-ir verification-toolchain program-slicing
-
Updated
Feb 25, 2026 - Python
Static Analyzer for LLVM based on the Crab Abstract Interpretation Library
-
Updated
Sep 12, 2026 - C
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
-
Updated
Oct 11, 2026 - Java
Static analysis framework for C
c static-code-analysis static-analysis ocaml program-analysis software-verification abstract-interpretation race-detection race-conditions
-
Updated
Oct 11, 2026 - OCaml
Collection of Verification Tasks (MOVED, please follow the link)
-
Updated
Oct 28, 2021
Swarm Orchestrator: a coding agent that must prove its work. Bounded repository changes, the project's real checks as sealed gates, challenges to weak evidence, retries that cannot trade away test quality, and a signed, hash-chained evidence record anyone can verify offline.
cli typescript provenance developer-tools software-engineering software-verification ai-agents tamper-evident llm local-llm coding-agents agentic-ai agent-orchestration coding-agent
-
Updated
Oct 10, 2026 - JavaScript
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.
coq ideas startup z3 formal-methods sat-solver entrepreneurship software-verification smt-solver research-paper formal-verification quantum-programming-language research-data research-software-engineering programming-language-theory ideasworthsharing
-
Updated
Aug 17, 2019
The CBMC starter kit makes it easy to add CBMC verification to a software project.
-
Updated
Jul 1, 2026 - Python
Claim-Driven Development: turn software intent into verifiable evidence.
property-based-testing code-review test-driven-development software-verification design-by-contract ai-assisted-development mcp-server spec-driven-development claim-driven-development system-0-engine
-
Updated
Oct 11, 2026 - Python
A neural network verification tool based on the DPLL(T) SMT Solving algorithm.
abstraction sat-solver software-verification ai-safety robustness dpll adversarial-attacks robustness-verification dnn-verification ai-assurance neural-network-veri
-
Updated
Aug 13, 2026 - Python
Teaching and Learning Software Verification via SVF
-
Updated
Jul 1, 2026 - C++
Multi-agent coding orchestrator with quorum consensus and formal verification (TLA+, Alloy, PRISM) for Claude Code, OpenCode, and Gemini CLI. Fewer hallucinations, fewer blind spots, mathematically proven protocols.
mcp opencode devtools quorum formal-methods alloy software-verification multi-agent-systems tla-plus autonomous-agent ai-agent meta-prompting gemini-cli claude-code context-engineering
-
Updated
Aug 18, 2026 - JavaScript
Map2Check: Finding Software Vulnerabilities
-
Updated
Oct 6, 2026 - SWIG
Read-only mirror of the Klever Git repository
c static-analysis verification specification model-checking formal-methods software-verification formal-verification formal-specification
-
Updated
Apr 27, 2026 - Python
A portfolio & reference project demonstrating safety-critical development using DO-178C workflow. Includes planning docs, requirements, traceability, MISRA-C code, tests, and certification evidence.
embedded-systems certification software-verification traceability do-178c embedded-c safety-critical functional-safety iso26262 reference-guide misra-c iec62304 safety-engineering
-
Updated
Aug 16, 2025 - C
An Exchange Format for Verification Witnesses (MOVED, please follow the link)
-
Updated
Sep 24, 2022 - Python
Information to reproduce results from SV-COMP (MOVED, please follow the link)
-
Updated
Oct 28, 2020
Free Collaborative Dynamics Augment for risk-driven software verification, skeptical review, and isolated Agent behavioral evals.
python software-verification software-testing codex ai-agents ollama llm-evaluation agent-skills claude-code
-
Updated
Oct 10, 2026 - Python
LSVerifier - Large Systems Verifier
model-checking software-verification formal-verification bounded-model-checking c-language open-source-software security-vulnerabilities
-
Updated
Dec 3, 2025 - Python
Add this topic to your repo
To associate your repository with the software-verification topic, visit your repo's landing page and select "manage topics."