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

SOG-Based Multi-Core LTL Model Checking

Multi-core Decision Diagram (BDD/LDD) implementation

Strategic (Timed) Computation Tree Logic

Symbolic Observation Graph-Based Generation of Test Paths

Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation

Cours du module R101 "Accueil" du département STID de l'IUT de Villetaneuse

Reinforce the opacity of a DES using the SCT