The main Coq development of the Prosa project: http://prosa.mpi-sws.org
Axiomatic pWCET, formalized in Coq
Website for SOSP2021 (http://sosp2021.mpi-sws.org)
The main Coq development.
Java implementation of tracingplane and baggage
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.