formal verification websites

This tag brings together websites about formal verification, including research groups, software tools, technical papers, and engineering resources that focus on proving system correctness. Visitors can use it to find specialized content on model checking, theorem proving, and code assurance. The tag helps narrow discovery to highly technical sites in computer science and software engineering.

Certora Smart Contract Verification and Security Audits

Certora is a code security company focused on formal verification for smart contracts. Its flagship Prover checks contract behavior against precise form...

Jochen Hoenicke: Formal Verification and Programming Research

Jochen Hoenicke's personal homepage focuses on formal verification and programming research. It highlights work on proving the correctness of smart cont...