Explore projects

This is a copy of the BuDDy library.

Fork of the Coq Num Analysis library to test Continuous Integration

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems

Formal Developments and Proofs in Coq of Numerical Analysis Problems.

Modular General Framework for Opacity Supervision using the Symbolic Observation Graph

Partial Order Model checker for PETri nets

Translation of LTL formulae from JSON into Helena syntax.

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 .