Explore projects

Formal Developments and Proofs in Rocq of Numerical Analysis Problems.

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)

Symbolic Observation Graph-Based Generation of Test Paths (TAP 2023)

Partial Order Model checker for PETri nets

General Opacity Supervision tool

Web-based graphical user interface (GUI) of cosyverif

repository of the sbench python package

Translation of LTL formulae from JSON into Helena syntax.