Explore projects

Partial Order Model checker for PETri nets

Formal Developments and Proofs in Rocq of Numerical Analysis Problems.

General Opacity Supervision tool

Translation of LTL formulae from JSON into Helena syntax.

Symbolic Observation Graph-Based Generation of Test Paths

gitlab-ci.yml configuration files

Maude files for the paper "Modeling and Analyzing Real-Time Systems in Rewriting Logic"