Explore projects

scripts for the TACAS 21 paper experiments

repository of the sbench python package

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

Standard Formalisms Library for CosyVerif

This repository hosts the different modules that will process CheneTAL corpora.

Partial Order Model checker for PETri nets

repository of the sbench python package

Strategic (Timed) Computation Tree Logic

Symbolic Observation Graph-Based Generation of Test Paths