Explore projects

Web-based graphical user interface (GUI) of cosyverif

Formal Developments and Proofs in Rocq of Numerical Analysis Problems.

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)

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

Partial Order Model checker for PETri nets

General Opacity Supervision tool