Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
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