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.
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
Add a description, image, and links to the formal-verification-methods topic page so that developers can more easily learn about it.
To associate your repository with the formal-verification-methods topic, visit your repo's landing page and select "manage topics."