Explore projects

Strategic (Timed) Computation Tree Logic

ICECCS19 paper experiments files

Partial Order Model checker for PETri nets

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 .