Explore projects

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"

Le fork LIPN de Mastodon pour l'instance lipn.info. Basé sur le dépot officiel et sur le dépôt Mathstodon