Explore projects

golang implementation of X-Trace and pubsub, also including some funky rewriting in order to get goroutine local variables.

Currently, the golang imports still point back to the repository hosted on GitHub. Depends on the tracingplane-go repository.

Parallel reactive synthesis for omega-regular specifications under the transition fairness condition

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

This project contains some scripts and other files that are used by many Iris project for their CI

Iris with transfinite step-indexing

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

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

This project contains some scripts and other files that are used by many Iris project for their CI

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

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

The public repository accompanying the paper 'Paracosm: A Test Framework for Autonomous Driving Simulations'.

Integrates programming and direct manipulation for CAD.

A Programming and Direct Manipulation Environment for creating test environments/scenarios, especially for the case of Autonomous Driving.