DEV Community

# formalverification

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
184 Theorems, Zero Sorry How We Formally Verified a Multi-Chain Protocol

184 Theorems, Zero Sorry How We Formally Verified a Multi-Chain Protocol

1
Comments
5 min read
Cracking the Code: Automated Theorem Proving and the Rise of Verifiable AI

Cracking the Code: Automated Theorem Proving and the Rise of Verifiable AI

Comments
2 min read
Beyond Testing: Why Every Software Engineer Should Explore Formal Methods

Beyond Testing: Why Every Software Engineer Should Explore Formal Methods

Comments
3 min read
Increasing confidence in your software with formal verification

Increasing confidence in your software with formal verification

Comments
10 min read
A look into formal verification of smart contracts using Certora

A look into formal verification of smart contracts using Certora

8
Comments
12 min read
Invite - Formal Verification Discussion with Certik & Kadena - Covering Blockchain FV

Invite - Formal Verification Discussion with Certik & Kadena - Covering Blockchain FV

3
Comments
2 min read
loading...