Explore projects

Multi-core Decision Diagram (BDD/LDD) implementation

Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees

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

Standard Formalisms Library for CosyVerif

This repository hosts the different modules that will process CheneTAL corpora.

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

General Opacity Supervision tool

Partial Order Model checker for PETri nets