GitLab

Formal Developments and Proofs in Coq of Numerical Analysis Problems.

repository of the sbench python package

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation

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

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

Multi-core Decision Diagram (BDD/LDD) implementation

Fault-Tolerant Communication-Avoiding and Tall-and-Skinny matrix factorizations (LU, QR, Cholesky)

General Opacity Supervision tool

gitlab-ci.yml configuration files

This is a copy of TinyXML2 parser