C++ framework for rigorous computation on cyber-physical systems

A Coq library with verified interval and polynomial model arithmetic

A C++ thread managing library using concurrent logging

Utilities for C++ development

A concurrent C++ logger

Parallel exploration of properties of an iterative procedure.

Nested property management, to construct and search values inside a tree of properties of a tool

Core for symbolic operations in C++

The sources for the website

Scenarios data and executables for checking and running them with Opera