Signin

Verus -- SMT-based verification of Rust systems code

Rust Formal Methods IG • September 12, 2023

Video Thumbnail

You May Also Like

Rust Formal Methods IG

About

No channel description available.

Latest Posts

Video Thumbnail

RefinedRust

Rust Formal Methods IG

Video Thumbnail

RFMIG: CreuSAT, a verified SAT solver

Rust Formal Methods IG

Video Thumbnail

Verus -- SMT-based verification of Rust systems code

Rust Formal Methods IG

Video Thumbnail

Gillian Rust: A hybrid approach to unsafe Rust verification

Rust Formal Methods IG