Skip to content

@GLaDOS-Michigan GLaDOS@Michigan

Change the repository type filter

All

    Repositories list

    17 repositories

    • eecs498-f24

      Public
      A repository with the assignments, demos and lab exercises for EECS498-003/CSE598-008 in Fall 2024
      Dafny
      •1•5•0•0•Updated Dec 17, 2024Dec 17, 2024

    • Kondo

      Public
      C#
      •3•5•0•0•Updated May 27, 2024May 27, 2024

    • IronSpec

      Public
      C#
      •0•5•0•0•Updated May 21, 2024May 21, 2024

    • IronSpec-dafny-grpc-server

      Public
      C++
      •
      MIT License
      •0•0•0•0•Updated Apr 12, 2024Apr 12, 2024

    • GLaDOS-Michigan.github.io

      Public
      HTML
      •0•0•0•0•Updated Jul 1, 2023Jul 1, 2023

    • verification-class

      Public
      Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
      Dafny
      •
      MIT License
      •0•10•0•0•Updated May 20, 2023May 20, 2023

    • pitometer

      Public
      Verifying real-time performance guarantees for distributed systems
      Go
      •0•0•0•0•Updated Feb 24, 2023Feb 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"
      C++
      •1•1•0•0•Updated Jun 6, 2022Jun 6, 2022

    • ivy

      Public
      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 …
      Python
      •
      Other
      •82•0•0•0•Updated May 9, 2022May 9, 2022

    • MC-Evals

      Public
      Python
      •0•2•0•0•Updated Apr 28, 2022Apr 28, 2022

    • dafnyMC

      Public
      Integrating protocol debugging workflows into dafny
      C#
      •
      Other
      •265•0•3•0•Updated Apr 28, 2022Apr 28, 2022

    • proof-user-study

      Public
      Dafny
      •0•0•0•0•Updated Feb 22, 2022Feb 22, 2022

    • 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
      •2•26•0•0•Updated May 25, 2021May 25, 2021

    • Aegean

      Public
      The source code for the implementation and evaluation of the Aegean replication framework
      Java
      •4•8•0•3•Updated Apr 26, 2021Apr 26, 2021

    • IronFleet

      Public
      C#
      •0•1•0•0•Updated May 5, 2020May 5, 2020

    • CodeLab-ToyLock

      Public
      C#
      •1•0•0•0•Updated Dec 4, 2019Dec 4, 2019

    • avr

      Public
      Reads a Verilog file and performs property checking.
      Python
      •19•0•0•0•Updated Aug 21, 2019Aug 21, 2019