Explore projects

This project aims to create a python API that will allow users to directly call RDOS random generators from their own source code.

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

Optimizing Label Coverage using Regular Expression-Based Linear Programming (VECoS 2024)

Strategic (Timed) Computation Tree Logic

Translation of LTL formulae from JSON into Helena syntax.

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

Dépôt pour les TPs APD

Partial Order Model checker for PETri nets