A fork of the Haskell Cabal repository that includes a change necessary for running the Class Struggle analysis, as part of Scott Kilpatrick's PhD thesis.
Axiomatic pWCET, formalized in Coq
The main Coq development of the Prosa project: http://prosa.mpi-sws.org
The main Coq development.
Java implementation of tracingplane and baggage
Website for SOSP2021 (http://sosp2021.mpi-sws.org)