Coleção

RFMIG

Rust Formal Methods Interest Group

125 seguidores

Eventos nesta coleção

Nenhum evento próximo

Siga Rust Formal Methods Interest Group para não perder nada

Veja o que você pode ter perdido

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

Organizador 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

Eventos nesta coleção

Nenhum evento próximo

Veja o que você pode ter perdido

Debugging SMT issues: Axiom Profiler 2.0

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

Verifying a Concurrent Memory Allocator with Verus

Compartilhar

Rust Formal Methods Interest Group