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 primary image

    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 primary image

    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 primary image

    Verifying a Concurrent Memory Allocator with Verus

    Mon, Nov 27, 7:00 PM GMT+1

    Kostenlos

Teilen

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.