Explore projects

The Coq development for Iris. [project website] [coqdoc]

The main Coq development of the Prosa project: http://prosa.mpi-sws.org

Iris with transfinite step-indexing

The Coq development for Iris. [project website] [coqdoc]

ZooKeeper instrumented with tracing framework. Quite out of date (last touched 2014)

Spark instrumented with tracing framework. Up to date with version 1.6.1; last modified end of 2017. Most up to date branch is brownsys-tracingplane-v1.6.1

The Coq development for Iris

The Coq development for Iris. [project website] [coqdoc]

The Coq development for Iris

The Coq development for Iris. [project website] [coqdoc]

Instrumented fork of Apache Kafka from GitHub

The main Coq development.

The POET Response-Time Certificate Generator — see also https://prosa.mpi-sws.org/poet.html