GLaDOS@Michigan

Popular repositories Loading

1. I4 I4 Public

   The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocols"

   Python 27 2

2. Basilisk Basilisk Public

   Artifact for the OSDI'2025 paper

   C# 16 3

3. verification-class verification-class Public

   Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos

   Dafny 12 1

4. Aegean Aegean Public

   The source code for the implementation and evaluation of the Aegean replication framework

   Java 8 4

5. Kondo Kondo Public

   C# 7 3

6. IronSpec IronSpec Public

   C# 7 2