ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios
SOG-Based Multi-Core LTL Model Checking
scripts for the TACAS 21 paper experiments
repository of the sbench python package
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation
This repository hosts the different modules that will process CheneTAL corpora.
Partial Order Model checker for PETri nets
This repository contains pnml from the MCC (https://mcc.lip6.fr).
Symbolic Observation Graph-Based Generation of Test Paths