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