Discover projects, groups and snippets. Share your projects with others
repository of the sbench python package
Morfetik, resource morphosyntaxique
Formal Developments and Proofs in Coq of Numerical Analysis Problems.
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees
This repository hosts the different modules that will process CheneTAL corpora.
ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios
scripts for the TACAS 21 paper experiments
Standard Formalisms Library for CosyVerif