Explore projects

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

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

Publicly released Azure Functions traces from https://github.com/Azure/AzurePublicDataset/blob/master/AzureFunctionsDataset2019.md

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

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

A tutorial for the Iris Separation Logic Framework

Some example verification demonstrating the use of Iris.

Some example verification demonstrating the use of Iris.

This is the repository for the EU EIC project called SymAware.