A gently curated list of companies using verification formal methods in industry
Curated Web3 security learning hub for smart contract auditors and protocol teams: roadmaps, audit tools, public reports, fuzzing, formal verification, AI-assisted workflows, offchain security, incident response, and launch checklists.
Tool for generating regular expressions of set of all satisfying computations to Mission-time Linear Temporal Logic formulas.
The first formal security methodology designed for human-AI collaboration. Systematic. Evidence-based. Open source.
Formal proof that your SystemVerilog assertions hold for all inputs — or the exact cycle that breaks them. Signed proof certificates + safety margins. Trial: sva-verify, SDK, benchmarks & evidence.
An autonomous CI/CD pipeline using LLMs and SMT Solvers (Dafny) for Formal Verification of mission-critical software.
Install and connect formally verified and executable concepts and rules.
Formally Verified Multi-Agent Runtime Safety Framework via Microsoft Z3 SMT & Zero-Trust Governance
Build formal specifications and checks in Dafny for Limited Stack structure.
Implementation of the L* (L Star) based Assume Guarantee Reasoning framework - dynamic DFA input as specification
Formal verification of AWS Security Group reachability using Z3 SMT Solver. SAT=reachable, UNSAT=blocked.
A vector dot-product accelerator implemented in SystemVerilog and Anvil HDL, with SVA-based verification and matched-stimulus differential testing to explore Anvil’s timing-safety guarantees.
Certified geometric interpretability & industrial verification harness for frontier models, agents, and robotics via symplectic Stiefel manifold retractions.
To associate your repository with the formal-verification-methods topic, visit your repo's landing page and select "manage topics."