Yann Thierry-Mieg's repositories
MCC-analysis
A repository hosting scripts to analyze the results of the MCC
ITS-Tools-MCC
Wrapper for ITS-Tools used in the Model-Checking contest
HUPN-HumanUsablePetriNotation
A textual format to manipulate high-level colored Petri nets. Compatible with PNML.
MCC-drivers
A driver to adapt various tools to Model Checking Contest formats.
pnmcc-models-2022
Models, formulas and oracles from the 2022 Model Checking Competition
pnmcc-tests
A framework to run tests on any MCC compliant tool.
MCC-server
A small server to offer MCC compliant tools to the web.
SMPT-BinaryBuilds
A repository hosting CI to rebuild SMPT binaries from source
Spot-BinaryBuilds
Provides up to date Spot artifacts for ITS-tools builds
ExtractGreatSPN-2023
Model Checking Contest 2023 version and drivers for GreatSPN.
ExtractLola-2021
Sources for Sara and Lola as extracted from MCC 2021
InvariantPerformance
Repository containing scripts and logs of experiments on computation of Petri net invariants.
LTLSensitivityToLength
Procedures and artefacts to reproduce experiments on "length" sensitivity of LTL formulas.
openMPI-BinaryBuild
Build artefacts for OpenMPI on all platforms
pnmcc-models-2023
Models, formulas and oracles from the 2023 Model Checking Competition
pnmlfw-test
A basic maven setup for a Java application using PNMLFW
RobotGames
Solving partial observation games with SMT+ModelChecker
verifypn
The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.