Sammlung

RFMIG

Rust Formal Methods Interest Group

125 Follower

Events in dieser Sammlung

Keine anstehenden Events

Folgen Sie Rust Formal Methods Interest Group, um nichts zu verpassen

Das könnten Sie verpasst haben

Debugging SMT issues: Axiom Profiler 2.0
Mon, May 27, 7:00 PM GMT+2
Kostenlos
Modernizing verified crypto with Rust: introducing HACL-Rust and Eurydice
Mon, Jan 22, 7:00 PM GMT+1
Kostenlos
Verifying a Concurrent Memory Allocator with Verus
Mon, Nov 27, 7:00 PM GMT+1
Kostenlos

Rust Formal Methods Interest Group

Veranstalter von RFMIG

The Rust Formal Interest Group hosts monthly seminars to showcase the work being done by researchers, hobbyists and industrial users of formal methods in Rust.

RFMIG

Events in dieser Sammlung

Keine anstehenden Events

Das könnten Sie verpasst haben

Debugging SMT issues: Axiom Profiler 2.0

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

Verifying a Concurrent Memory Allocator with Verus

Teilen

Rust Formal Methods Interest Group