Standard Formalisms Library for CosyVerif
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees
scripts for the TACAS 21 paper experiments
This repository hosts the different modules that will process CheneTAL corpora.
repository of the sbench python package
This is a copy of the BuDDy library.
Fault-Tolerant Communication-Avoiding and Tall-and-Skinny matrix factorizations (LU, QR, Cholesky)