Raccolta

RFMIG

Rust Formal Methods Interest Group

125 follower

Eventi in questa raccolta

Nessun evento in programma

Segui Rust Formal Methods Interest Group per non perdere mai un momento

Ecco cosa potresti esserti perso

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

Rust Formal Methods Interest Group

Organizzatore di 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

Eventi in questa raccolta

Nessun evento in programma

Ecco cosa potresti esserti perso

Debugging SMT issues: Axiom Profiler 2.0

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

Verifying a Concurrent Memory Allocator with Verus

Condividi

Rust Formal Methods Interest Group