Explore projects

repository of the sbench python package

SOG-Based Multi-Core LTL Model Checking

Multi-core Decision Diagram (BDD/LDD) implementation

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

Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation

Cours du module R101 "Accueil" du département STID de l'IUT de Villetaneuse

Reinforce the opacity of a DES using the SCT

Symbolic Observation Graph-Based Generation of Test Paths (TAP 2023)