Explore projects

Formal Developments and Proofs in Coq of Numerical Analysis Problems.

Standard Formalisms Library for CosyVerif

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

Le fork LIPN de Mastodon pour l'instance lipn.info. Basé sur le dépot officiel et sur le dépôt Mathstodon

Partial Order Model checker for PETri nets

This repository contains pnml from the MCC (https://mcc.lip6.fr).

repository of the sbench python package

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

Symbolic Observation Graph-Based Generation of Test Paths