Explore projects

Partial Order Model checker for PETri nets

Modular General Framework for Opacity Supervision using the Symbolic Observation Graph

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

gitlab-ci.yml configuration files

This is a copy of TinyXML2 parser

This is a copy of the TinyXML parser.

Example Jekyll site using GitLab Pages: https://pages.gitlab.io/jekyll

General Opacity Supervision tool

This is a copy of the BuDDy library.

Supports pour le module M3105

repository of the sbench python package

Reinforce the opacity of a DES using the SCT