Formal Developments and Proofs in Coq of Numerical Analysis Problems.

Standard Formalisms Library for CosyVerif

General Opacity Supervision tool

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

repository of the sbench python package

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

Modular General Framework for Opacity Supervision using the Symbolic Observation Graph

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

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