Explore projects

Multi-core Decision Diagram (BDD/LDD) implementation

Strategic (Timed) Computation Tree Logic

Symbolic Observation Graph-Based Generation of Test Paths

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 .

Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees

ICECCS19 paper experiments files