Explore projects

Symbolic Observation Graph-Based Generation of Test Paths

Formal Developments and Proofs in Coq of Numerical Analysis Problems.

General Opacity Supervision tool

Translation of LTL formulae from JSON into Helena syntax.

Partial Order Model checker for PETri nets

repository of the sbench python package

This repository contains pnml from the MCC (https://mcc.lip6.fr).