Explore projects

Formal Developments and Proofs in Coq of Numerical Analysis Problems.

Symbolic Observation Graph-Based Generation of Test Paths

General Opacity Supervision tool

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

Formal Developments and Proofs in Coq of Numerical Analysis Problems.

Translation of LTL formulae from JSON into Helena syntax.