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
Strategic (Timed) Computation Tree Logic
Symbolic Observation Graph-Based Generation of Test Paths