Signin

Verifying a Concurrent Memory Allocator with Verus

Rust Formal Methods IG • December 12, 2023
Video Thumbnail

You May Also Like

Rust Formal Methods IG

View Channel

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

AI Assistant

Loading...