Explore projects

Solving MCNF using GCNs

Symbolic Observation Graph-Based Generation of Test Paths

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

Strategic (Timed) Computation Tree Logic

Partial Order Model checker for PETri nets

This is a copy of TinyXML2 parser

repository of the sbench python package