Explore projects

Formal Developments and Proofs in Coq of Numerical Analysis Problems.

Partial Order Model checker for PETri nets

repository of the sbench python package

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

Web-based graphical user interface (GUI) of cosyverif

Symbolic Observation Graph-Based Generation of Test Paths

Fork of the Coq Num Analysis library to test Continuous Integration