Collectie

RFMIG

Rust Formal Methods Interest Group

125 volgers

Evenementen in deze collectie

Geen toekomstige evenementen

Volg Rust Formal Methods Interest Group om niets te missen

Dit heb je misschien gemist

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

Rust Formal Methods Interest Group

Organisator van 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

Evenementen in deze collectie

Geen toekomstige evenementen

Dit heb je misschien gemist

Debugging SMT issues: Axiom Profiler 2.0

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

Verifying a Concurrent Memory Allocator with Verus

Delen

Rust Formal Methods Interest Group