Formal Developments and Proofs in Coq of Numerical Analysis Problems.

Symbolic Observation Graph-Based Generation of Test Paths

Symbolic Observation Graph-Based Generation of Test Paths

Partial Order Model checker for PETri nets

Solving MCNF using GCNs

Standard Formalisms Library for CosyVerif

Strategic (Timed) Computation Tree Logic

un outil qui regroupe les deux approaches. Il prend en entrée un fichier .dot modelisant le graphe ou un nombre n pour construire un graphe aleatoire avec n noeuds puis calcule la solution optimale .

General Opacity Supervision tool

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