Explore projects

repository of the sbench python package

Le fork LIPN de Mastodon pour l'instance lipn.info. Basé sur le dépot officiel et sur le dépôt Mathstodon

Symbolic Observation Graph-Based Generation of Test Paths

Website of the Workshop SynCoP 2024

Strategic (Timed) Computation Tree Logic

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

repository of the sbench python package