Explore projects

Exercises for the Iris tutorial

A logic for proving contextual refinements project website(https://cs.ru.nl/~dfrumin/reloc/)

An extended "Standard Library" for Coq. [coqdoc]

SimBricks website source, automatically deployed to https://www.simbricks.io

Some example verification demonstrating the use of Iris.

PCTCP (Probabilistic Concurrency Testing with Chain Partitioning) algorithm for testing Cassandra system. Implemented on top of SAMC/DMCK distributed system model checking tool.

Barebones C++ implementation of X-Trace compatible with latest brown tracing framework + baggage version

HBase instrumented with tracing framework.

An extended "Standard Library" for Coq. [coqdoc]

Public releases for the dPCF project