Collection

RFMIG

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é

  • Image principale de Debugging SMT issues: Axiom Profiler 2.0

    Debugging SMT issues: Axiom Profiler 2.0

    Mon, May 27, 7:00 PM GMT+2

    Libre

  • Image principale de Modernizing verified crypto with Rust: introducing HACL-Rust and Eurydice

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

    Mon, Jan 22, 7:00 PM GMT+1

    Libre

  • Image principale de Verifying a Concurrent Memory Allocator with Verus

    Verifying a Concurrent Memory Allocator with Verus

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

    Libre

Partager

Organisateur de RFMIG