Explore projects

Website for SOSP2021 (http://sosp2021.mpi-sws.org)

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

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

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

A tutorial for the Iris Separation Logic Framework

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

DeathStarBench modified with X-Trace tracing

The Iron logic for precise reasoning about resources [project website]

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

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

A collection of Linux kernel configurations for LITMUS^RT kernels used at MPI-SWS (and previously at UNC).

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

Some example verification demonstrating the use of Iris.

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

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