Collection

RFMIG

Rust Formal Methods Interest Group

125 abonnés

Les événements de cette collection

Aucun événement à venir

Suivez Rust Formal Methods Interest Group pour ne jamais manquer un moment

Voici ce que vous avez peut-être manqué

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

Rust Formal Methods Interest Group

Organisateur de 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

Les événements de cette collection

Aucun événement à venir

Voici ce que vous avez peut-être manqué

Debugging SMT issues: Axiom Profiler 2.0

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

Verifying a Concurrent Memory Allocator with Verus

Partager

Rust Formal Methods Interest Group