8000 VeriGu Lab · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@VeriGu

VeriGu Lab

Pinned Loading

  1. DuoAI DuoAI Public

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

    C++ 8 2

  2. VIA VIA Public

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

    Coq 2

  3. VRM VRM Public

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

    Shell 6 2

  4. DistAI DistAI Public

    DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols

    Python 13 2

  5. SeKVM-4.18 SeKVM-4.18 Public

    Verified KVM on Arm Relaxed Memory Hardware

    C 3 1

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

    Modified QEMU for SeKVM

    C 3 1

Repositories

Showing 10 of 13 repositories
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…
0