Discover projects, groups and snippets. Share your projects with others
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems
scripts for the TACAS 21 paper experiments
Multi-core Decision Diagram (BDD/LDD) implementation
Cours du module R101 "Accueil" du département STID de l'IUT de Villetaneuse
Reduced Symbolic Observation Graph with Ample Set of the partial order reduction
repository of the sbench python package
This project aims to create a python API that will allow users to directly call RDOS random generators from their own source code.