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

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