About 9 results for "UC-fA79xMOv74wekKai4MPYg"

RefinedRust

Rust Formal Methods IG • Apr 28, 2025

Debugging SMT issues: Axiom Profiler 2.0

Rust Formal Methods IG • Jun 12, 2024

Gillian Rust: A hybrid approach to unsafe Rust verification

Rust Formal Methods IG • May 12, 2024

Modernizing verified crypto with Rust: introducing HACL-Rust and Eurydice

Rust Formal Methods IG • Feb 12, 2024

Verifying a Concurrent Memory Allocator with Verus

Rust Formal Methods IG • Dec 12, 2023

RFMIG: CreuSAT, a verified SAT solver

Rust Formal Methods IG • Sep 12, 2023

Verus -- SMT-based verification of Rust systems code

Rust Formal Methods IG • Sep 12, 2023

MiniRust: An operational semantics for Rust

Rust Formal Methods IG • Sep 12, 2023

Tree Borrows: An aliasing model for Rust

Rust Formal Methods IG • Sep 10, 2023