Explore projects

A tool that helps instrumenting a system for distributed tracing. The tool detects places where trace context propagation is potentially needed.

The benchmark repository for the added float support to the KeY deductive verifier.

Instrumented version of Cassandra