Skip to content

@mit-pdos MIT PDOS

Change the repository type filter

All

    Repositories list

    8 repositories

    • perennial

      Public
      Verifying concurrent crash-safe systems
      verificationcoqconcurrency
      Coq
      •
      MIT License
      •35•164•8•0•Updated Nov 23, 2024Nov 23, 2024

    • argosy

      Public
      Proving crash safety for systems with layered recovery
      coqrecoveryverification
      Coq
      •
      MIT License
      •7•11•0•0•Updated Sep 17, 2024Sep 17, 2024

    • fscq

      Public
      FSCQ is a certified file system written and proven in Coq
      Coq
      •
      Other
      •21•236•5•0•Updated Oct 21, 2022Oct 21, 2022

    • 6.826-2020-labs

      Public
      Lab assignments for 6.826
      Coq
      •
      Other
      •9•13•0•0•Updated Oct 20, 2020Oct 20, 2020

    • cspec

      Public
      Verifying concurrent code with layers and movers
      Coq
      •
      Other
      •1•12•0•0•Updated Feb 18, 2020Feb 18, 2020

    • 6.826-2019-labs

      Public
      Lab assignments for 6.826
      Coq
      •
      Other
      •2•10•0•0•Updated Nov 8, 2019Nov 8, 2019

    • 6.826-2017-labs

      Public
      Coq
      •
      Other
      •1•13•0•0•Updated Nov 9, 2017Nov 9, 2017

    • deepspec-pocs

      Public
      Coq
      •
      Other
      •1•6•0•0•Updated Jul 26, 2017Jul 26, 2017