Explore projects

Formal Developments and Proofs in Rocq of Numerical Analysis Problems.

Web-based graphical user interface (GUI) of cosyverif

repository of the sbench python package

Optimizing Petri nets transition coverage using linear programming and symbolic observation graphs (Petri Nets 2026)

Optimizing Label Coverage using Regular Expression-Based Linear Programming (VECoS 2024)

Partial Order Model checker for PETri nets

Symbolic Observation Graph-Based Generation of Test Paths

Standard Formalisms Library for CosyVerif

This repository hosts the different modules that will process CheneTAL corpora.