Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
-
-
-
Solving MCNF using GCNs
-
Symbolic Observation Graph-Based Generation of Test Paths
-
Symbolic Observation Graph-Based Generation of Test Paths
-
-
-
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 .
-
-
Le fork LIPN de Mastodon pour l'instance lipn.info. Basé sur le dépot officiel et sur le dépôt Mathstodon
-
This repository contains pnml from the MCC (https://mcc.lip6.fr).
-
Strategic (Timed) Computation Tree Logic
-
-
Partial Order Model checker for PETri nets
-
Modular General Framework for Opacity Supervision using the Symbolic Observation Graph
-