Explore projects

Cours du module R101 "Accueil" du département STID de l'IUT de Villetaneuse

This is a copy of the TinyXML parser.

Modular General Framework for Opacity Supervision using the Symbolic Observation Graph

Partial Order Model checker for PETri nets

This is a copy of TinyXML2 parser

SOG-Based Multi-Core LTL Model Checking

Translation of LTL formulae from JSON into Helena syntax.

Formal Developments and Proofs in Coq of Numerical Analysis Problems.

Solving MCNF using GCNs