Forem

# formalverification

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
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
Verifying CUDA Kernels in Coq with Rust MIR (Introducing cuq)
Cover image for Verifying CUDA Kernels in Coq with Rust MIR (Introducing cuq)

Verifying CUDA Kernels in Coq with Rust MIR (Introducing cuq)

3
Comments 2
1 min read
Functional Coverage for RISC-V Verification: A Verification-First Approach
Cover image for Functional Coverage for RISC-V Verification: A Verification-First Approach

Functional Coverage for RISC-V Verification: A Verification-First Approach

Comments
5 min read
Beyond Testing: Why Every Software Engineer Should Explore Formal Methods
Cover image for 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
Cover image for 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
Cover image for 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...