Skip to content
@GLaDOS-Michigan

GLaDOS@Michigan

Graduate Laboratory for Distributed and Operating Systems @ The University of Michigan in Ann Arbor

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 26 2

  2. verification-class verification-class Public

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

    Dafny 10

  3. Aegean Aegean Public

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

    Java 8 4

  4. Kondo Kondo Public

    C# 5 3

  5. IronSpec IronSpec Public

    C# 5

  6. eecs498-f24 eecs498-f24 Public

    A repository with the assignments, demos and lab exercises for EECS498-003/CSE598-008 in Fall 2024

    Dafny 5 1

Repositories

Showing 10 of 17 repositories
  • eecs498-f24 Public

    A repository with the assignments, demos and lab exercises for EECS498-003/CSE598-008 in Fall 2024

    GLaDOS-Michigan/eecs498-f24’s past year of commit activity
    Dafny 5 1 0 0 Updated Dec 17, 2024
  • Kondo Public
    GLaDOS-Michigan/Kondo’s past year of commit activity
    C# 5 3 0 0 Updated May 27, 2024
  • IronSpec Public
    GLaDOS-Michigan/IronSpec’s past year of commit activity
    C# 5 0 0 0 Updated May 21, 2024
  • IronSpec-dafny-grpc-server Public
    GLaDOS-Michigan/IronSpec-dafny-grpc-server’s past year of commit activity
    C++ 0 MIT 0 0 0 Updated Apr 12, 2024
  • GLaDOS-Michigan.github.io Public
    GLaDOS-Michigan/GLaDOS-Michigan.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Jul 1, 2023
  • verification-class Public

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

    GLaDOS-Michigan/verification-class’s past year of commit activity
    Dafny 10 MIT 0 0 0 Updated May 20, 2023
  • pitometer Public

    Verifying real-time performance guarantees for distributed systems

    GLaDOS-Michigan/pitometer’s past year of commit activity
    Go 0 0 0 0 Updated Feb 24, 2023
  • Sift Public

    The code base for the Sift prototype, as described in the ATC '22 paper "Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems"

    GLaDOS-Michigan/Sift’s past year of commit activity
    C++ 1 1 0 0 Updated Jun 6, 2022
  • ivy Public Forked from MadeByMars/ivy

    IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the …

    GLaDOS-Michigan/ivy’s past year of commit activity
    Python 0 89 0 0 Updated May 9, 2022
  • MC-Evals Public
    GLaDOS-Michigan/MC-Evals’s past year of commit activity
    Python 2 0 0 0 Updated Apr 28, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…