yanntm
Maitre de Conférences, Sorbonne Université, LIP6, CNRS PhD, HDR
LIP6, Sorbonne Université, CNRSParis
Pinned Repositories
ITSTools
A multi-formalism, multi-solution model-checker centered on the language GAL
libDDD
Library for Data Decision Diagrams and Set Decision Diagrams
libITS
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
AutoParallelJava
A Project to automatically refactor Java enhanced for loops to streams.
ITS-Tools-MCC
Wrapper for ITS-Tools used in the Model-Checking contest
MCC-analysis
A repository hosting scripts to analyze the results of the MCC
PetriSpot
An small and efficient C++ tool to analyze Petri nets.
PetriVizu
A small tool to look at Petri nets in a web page.
Puck3
Development of Puck 3 DSL.
YoBot
A bot to compete in Starcraft 2 AI tournaments
yanntm's Repositories
yanntm/MCC-analysis
A repository hosting scripts to analyze the results of the MCC
yanntm/ITS-Tools-MCC
Wrapper for ITS-Tools used in the Model-Checking contest
yanntm/PetriSpot
An small and efficient C++ tool to analyze Petri nets.
yanntm/PetriVizu
A small tool to look at Petri nets in a web page.
yanntm/Puck3
Development of Puck 3 DSL.
yanntm/MCC-drivers
A driver to adapt various tools to Model Checking Contest formats.
yanntm/pnmcc-models-2022
Models, formulas and oracles from the 2022 Model Checking Competition
yanntm/pnmcc-tests
A framework to run tests on any MCC compliant tool.
yanntm/HUPN-HumanUsablePetriNotation
A textual format to manipulate high-level colored Petri nets. Compatible with PNML.
yanntm/InvariantPerformance
Repository containing scripts and logs of experiments on computation of Petri net invariants.
yanntm/MCC-server
A small server to offer MCC compliant tools to the web.
yanntm/PSCR-TME
Provided lab files for PSCR MU4IN400 course.
yanntm/RdPZ3
Experimental project playing with Z3 and Petri nets in python.
yanntm/SMPT-BinaryBuilds
A repository hosting CI to rebuild SMPT binaries from source
yanntm/Spot-BinaryBuilds
Provides up to date Spot artifacts for ITS-tools builds
yanntm/ExtractGreatSPN-2023
Model Checking Contest 2023 version and drivers for GreatSPN.
yanntm/ExtractLola-2021
Sources for Sara and Lola as extracted from MCC 2021
yanntm/hue
A random walk explorer for colored Petri nets
yanntm/ltsmin
The LTSmin model checking toolset
yanntm/LTSmin-BinaryBuilds
yanntm/Octant
Quantifier eliminator for using Petri net reductions for model checking reachability properties.
yanntm/openMPI-BinaryBuild
Build artefacts for OpenMPI on all platforms
yanntm/pnmcc-models-2023
Models, formulas and oracles from the 2023 Model Checking Competition
yanntm/pnmlfw-test
A basic maven setup for a Java application using PNMLFW
yanntm/pure-java-raytracer
An experimental Ray tracer I made completely from scratch, without any external libraries
yanntm/RobotGames
Solving partial observation games with SMT+ModelChecker
yanntm/smart
Stochastic Model-checking Analyzer for Reliability and Timing
yanntm/SmartPulseTool
yanntm/SMPT
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
yanntm/verifypn
The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.