Explore projects

Formal Developments and Proofs in Coq of Numerical Analysis Problems.

Reinforce the opacity of a DES using the SCT

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 .

Example Jekyll site using GitLab Pages: https://pages.gitlab.io/jekyll

Partial Order Model checker for PETri nets

This project aims to create a python API that will allow users to directly call RDOS random generators from their own source code.