Yann Thierry-Mieg (yanntm)

yanntm

Geek Repo

Company:LIP6, Sorbonne Université, CNRS

Location:Paris

Github PK Tool:Github PK Tool


Organizations
lip6

Yann Thierry-Mieg's repositories

MCC-analysis

A repository hosting scripts to analyze the results of the MCC

Language:RLicense:GPL-3.0Stargazers:4Issues:2Issues:0

ITS-Tools-MCC

Wrapper for ITS-Tools used in the Model-Checking contest

Language:ShellLicense:GPL-3.0Stargazers:3Issues:3Issues:0

PetriVizu

A small tool to look at Petri nets in a web page.

Language:TypeScriptLicense:GPL-3.0Stargazers:3Issues:1Issues:0

Puck3

Development of Puck 3 DSL.

Language:JavaLicense:GPL-3.0Stargazers:3Issues:5Issues:0

HUPN-HumanUsablePetriNotation

A textual format to manipulate high-level colored Petri nets. Compatible with PNML.

Language:JavaLicense:GPL-3.0Stargazers:2Issues:3Issues:0

MCC-drivers

A driver to adapt various tools to Model Checking Contest formats.

Language:ShellLicense:GPL-3.0Stargazers:2Issues:2Issues:0

PetriSpot

An small and efficient C++ tool to analyze Petri nets.

Language:C++License:GPL-3.0Stargazers:2Issues:3Issues:0

pnmcc-models-2022

Models, formulas and oracles from the 2022 Model Checking Competition

Language:HTMLStargazers:2Issues:2Issues:0

pnmcc-tests

A framework to run tests on any MCC compliant tool.

Language:PerlStargazers:2Issues:3Issues:0

MCC-server

A small server to offer MCC compliant tools to the web.

Language:PythonLicense:GPL-3.0Stargazers:1Issues:0Issues:0

PSCR-TME

Provided lab files for PSCR MU4IN400 course.

Language:C++License:GPL-3.0Stargazers:1Issues:2Issues:0

RdPZ3

Experimental project playing with Z3 and Petri nets in python.

Language:PythonStargazers:1Issues:0Issues:0

SMPT-BinaryBuilds

A repository hosting CI to rebuild SMPT binaries from source

Language:ShellLicense:GPL-3.0Stargazers:1Issues:2Issues:0

Spot-BinaryBuilds

Provides up to date Spot artifacts for ITS-tools builds

Language:ShellStargazers:1Issues:3Issues:0

ExtractGreatSPN-2023

Model Checking Contest 2023 version and drivers for GreatSPN.

License:GPL-3.0Stargazers:0Issues:1Issues:0

ExtractLola-2021

Sources for Sara and Lola as extracted from MCC 2021

Language:C++Stargazers:0Issues:2Issues:0

hue

A random walk explorer for colored Petri nets

Language:GoLicense:AGPL-3.0Stargazers:0Issues:1Issues:0

InvariantPerformance

Repository containing scripts and logs of experiments on computation of Petri net invariants.

Language:RLicense:GPL-3.0Stargazers:0Issues:2Issues:0

LTLSensitivityToLength

Procedures and artefacts to reproduce experiments on "length" sensitivity of LTL formulas.

Language:ShellLicense:GPL-3.0Stargazers:0Issues:3Issues:0

ltsmin

The LTSmin model checking toolset

Language:CLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0
Language:ShellStargazers:0Issues:3Issues:0

Octant

Quantifier eliminator for using Petri net reductions for model checking reachability properties.

Language:OCamlLicense:GPL-3.0Stargazers:0Issues:1Issues:0

openMPI-BinaryBuild

Build artefacts for OpenMPI on all platforms

Language:HTMLLicense:GPL-3.0Stargazers:0Issues:3Issues:0

pnmcc-models-2023

Models, formulas and oracles from the 2023 Model Checking Competition

Language:ShellStargazers:0Issues:2Issues:0

pnmlfw-test

A basic maven setup for a Java application using PNMLFW

Language:JavaLicense:EPL-2.0Stargazers:0Issues:2Issues:0

RobotGames

Solving partial observation games with SMT+ModelChecker

Language:JavaLicense:GPL-3.0Stargazers:0Issues:2Issues:0

smart

Stochastic Model-checking Analyzer for Reliability and Timing

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0
Language:CStargazers:0Issues:0Issues:0

SMPT

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

Language:PythonLicense:GPL-3.0Stargazers:0Issues:1Issues:0

verifypn

The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0