VeriGu Lab

Pinned Repositories

DistAI
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
Language:Python13 3 12
DuoAI
Duo is an automated tool to formally verify distributed protocols (e.g., Paxos) by inferring inductive invariants.
Language:C++7 2 02
qemu-3.0-SeKVM
Modified QEMU for SeKVM
Language:C2 4 00
SeKVM-4.18
Verified KVM on Arm Relaxed Memory Hardware
Language:C1 4 00
sosp-paper211-ae
Mirror of Artifact for SOSP 21 Paper: Verifying a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware
Language:Shell1 1 02
usenix-ae-linux
Language:C2 2 02
vct-qemu
Language:C0 2 02
VIA
Mirror of Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture
Language:Coq2 1 00
VRM
Artifact for SOSP 21 Paper: Verifying a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware
Language:Shell5 4 01
VRM-proof
Language:Coq0 3 00

VeriGu Lab's Repositories

VeriGu/DistAI
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
Language:Python13 3 12
VeriGu/DuoAI
Duo is an automated tool to formally verify distributed protocols (e.g., Paxos) by inferring inductive invariants.
Language:C++7 2 02
VeriGu/VRM
Artifact for SOSP 21 Paper: Verifying a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware
Language:Shell5 4 01
VeriGu/qemu-3.0-SeKVM
Modified QEMU for SeKVM
Language:C2 4 00
VeriGu/usenix-ae-linux
Language:C2 2 02
VeriGu/VIA
Mirror of Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture
Language:Coq2 1 00
VeriGu/SeKVM-4.18
Verified KVM on Arm Relaxed Memory Hardware
Language:C1 4 00
VeriGu/sosp-paper211-ae
Mirror of Artifact for SOSP 21 Paper: Verifying a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware
Language:Shell1 1 02
VeriGu/Certified-Conccurrent-Abstraction-Layers
Language:HTML0 2 00
VeriGu/sosp-paper211-ae-proof
Mirror of sosp-paper211-ae-proof
Language:Coq0 1 03
VeriGu/vct-qemu
Language:C0 2 02
VeriGu/VRM-proof
Language:Coq0 3 00
VeriGu/E6998-Formal-Verification
Language:Coq2 0