https://frida-2025.github.io/ https://frida-2025.github.io/slides/Automated-Reasoning-on-Consistency-Models-with-MONA--Isabelle-Coget--FRIDA-2025.pdf 2025-12-02T19:52:27+00:00 https://frida-2025.github.io/slides/Proving-Linearizability-of-Fault-Tolerant-Register-Protocols---Dependency-Graph-Approach--Gregory-Chockler--FRIDA-2025.pdf 2025-12-02T19:52:27+00:00 https://frida-2025.github.io/slides/Reduction-theorems-for-effective-parameterized-verification-of-round-based-distributed-algorithms--Nathalie-Bertrand--FRIDA-2025.pdf 2025-12-02T19:52:27+00:00 https://frida-2025.github.io/slides/Specifying-binding-and-commitment-with-ghost-outputs-and-strong-refinement--Hagit-Attiya--FRIDA-2025.pdf 2025-12-02T19:52:27+00:00 https://frida-2025.github.io/slides/Synthesis-of-dependable-and-self-driving-communication-networks--Stefan-Schmid--FRIDA-2025.pdf 2025-12-02T19:52:27+00:00 https://frida-2025.github.io/slides/What-properties-should-asymmetric-quorum-systems-satisfy--Juan-Villacis--FRIDA-2025.pdf 2025-12-02T19:52:27+00:00