Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
Partial Order Model checker for PETri nets
-
This is a copy of TinyXML2 parser
-
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems
-
-
-
-
-
This is a copy of the BuDDy library.
-
Modular General Framework for Opacity Supervision using the Symbolic Observation Graph
-
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 .
-
Fault-Tolerant Communication-Avoiding and Tall-and-Skinny matrix factorizations (LU, QR, Cholesky)
-
-
This is a copy of the TinyXML parser.
-
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
-
-
repository of the sbench python package
-