DEV Community

# formalverification

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
Why System-Scale Programmes Accumulate Risk Despite Strong Verification and Tooling
alpinumblogs profile

Why System-Scale Programmes Accumulate Risk Despite Strong Verification and Tooling

#semiconductor #semiconductorverification #formalverification #semiconductortechnology
Comments
6 min read
Why FPGA Programmes Fail Late and Why Tool Choice Is Rarely the Real Issue
alpinumblogs profile

Why FPGA Programmes Fail Late and Why Tool Choice Is Rarely the Real Issue

#fpga #fpgaprogramming #semiconductor #formalverification
Comments
6 min read
184 Theorems, Zero Sorry How We Formally Verified a Multi-Chain Protocol
chronosvault profile

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

#formalverification #lean4 #mathematics #blockchain
1
Comments
5 min read
Cracking the Code: Automated Theorem Proving and the Rise of Verifiable AI
arvind_sundararajan profile

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

#ai #formalverification #theoremproving #automation
Comments
2 min read
Beyond Testing: Why Every Software Engineer Should Explore Formal Methods
codeartisan profile

Beyond Testing: Why Every Software Engineer Should Explore Formal Methods

#formalmethods #formalverification #tlaplus #fizzbee
Comments
3 min read
Increasing confidence in your software with formal verification
stack_builders profile

Increasing confidence in your software with formal verification

#testing #formalverification #formalmethods
Comments
10 min read
A look into formal verification of smart contracts using Certora
spalladino profile

A look into formal verification of smart contracts using Certora

#ethereum #formalverification #smartcontracts
8
Comments
12 min read
Invite - Formal Verification Discussion with Certik & Kadena - Covering Blockchain FV
ambituous profile

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

#formalverification #certik #kadena
3
Comments
2 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.