Explore projects

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

Maude files for the paper "Modeling and Analyzing Real-Time Systems in Rewriting Logic"

Dépôt pour les TPs APD

This is a copy of the BuDDy library.

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

C++ implementation of the Factor Oracle structure

Standard Formalisms Library for CosyVerif