Pinned Loading

1. DuoAI DuoAI Public

   Duo is an automated tool to formally verify distributed protocols (e.g., Paxos) by inferring inductive invariants.

   C++ 12 3

2. VIA VIA Public

   Mirror of Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture

   Coq 4

3. VRM VRM Public

   Artifact for SOSP 21 Paper: Verifying a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware

   Shell 8 2

4. DistAI DistAI Public

   DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols

   Python 17 1

5. SeKVM-4.18 SeKVM-4.18 Public

   Verified KVM on Arm Relaxed Memory Hardware

   C 6 2

6. qemu-3.0-SeKVM qemu-3.0-SeKVM Public

   Modified QEMU for SeKVM

   C 3 2