Forem

# formalverification

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
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
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

4
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...