A tool that helps instrumenting a system for distributed tracing. The tool detects places where trace context propagation is potentially needed.
Website for SOSP2021 (http://sosp2021.mpi-sws.org)
Model checker for distributed systems using hitting families of schedules
The main Coq development.
ZooKeeper instrumented with tracing framework. Quite out of date (last touched 2014)
The main Coq development of the Prosa project: http://prosa.mpi-sws.org
A modified version of StochasticSynthesis that we used for our TAC '21 and TACAS '22 submissions. The original repo is here: https://github.com/gtfactslab/StochasticSynthesis