-
MCC-drivers Public
A driver to adapt various tools to Model Checking Contest formats.
-
Spot-BinaryBuilds Public
Provides up to date Spot artifacts for ITS-tools builds
Shell UpdatedMay 12, 2025 -
ITS-Tools-MCC Public
Wrapper for ITS-Tools used in the Model-Checking contest
-
PetriSpot Public
An small and efficient C++ tool to analyze Petri nets.
-
InvariantPerformance Public
Repository containing scripts and logs of experiments on computation of Petri net invariants.
-
AttackHyperGraph Public
A small DSL to represent Attack Hyper Graphs
Java GNU General Public License v3.0 UpdatedApr 9, 2025 -
MoodleStats Public
A tool to build graphical statistics reports on grades.
Python GNU General Public License v3.0 UpdatedFeb 13, 2025 -
PetriVizu Public
A small tool to look at Petri nets in a web page.
-
pure-java-raytracer Public
Forked from carl-vbn/pure-java-raytracerAn experimental Ray tracer I made completely from scratch, without any external libraries
-
MCC-analysis Public
A repository hosting scripts to analyze the results of the MCC
-
-
MCC-server Public
A small server to offer MCC compliant tools to the web.
-
verifypn Public
Forked from TAPAAL/verifypnThe engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.
C++ GNU General Public License v3.0 UpdatedJul 4, 2024 -
SMPT-BinaryBuilds Public
A repository hosting CI to rebuild SMPT binaries from source
-
RdPZ3 Public
Experimental project playing with Z3 and Petri nets in python.
-
-
ExtractGreatSPN-2023 Public
Model Checking Contest 2023 version and drivers for GreatSPN.
GNU General Public License v3.0 UpdatedMay 14, 2024 -
pnmcc-models-2023 Public
Models, formulas and oracles from the 2023 Model Checking Competition
Shell UpdatedApr 5, 2024 -
-
pnmcc-models-2022 Public
Models, formulas and oracles from the 2022 Model Checking Competition
-
PSCR-TME Public
Provided lab files for PSCR MU4IN400 course.
-
pnmlfw-test Public
A basic maven setup for a Java application using PNMLFW
Java Eclipse Public License 2.0 UpdatedDec 5, 2023 -
A textual format to manipulate high-level colored Petri nets. Compatible with PNML.
-
openMPI-BinaryBuild Public
Build artefacts for OpenMPI on all platforms
HTML GNU General Public License v3.0 UpdatedJul 12, 2023 -
-
RobotGames Public
Solving partial observation games with SMT+ModelChecker
Java GNU General Public License v3.0 UpdatedJun 23, 2023 -
ltsmin Public
Forked from utwente-fmt/ltsminThe LTSmin model checking toolset
C BSD 3-Clause "New" or "Revised" License UpdatedJun 20, 2023 -
Octant Public
Forked from nicolasAmat/OctantQuantifier eliminator for using Petri net reductions for model checking reachability properties.
OCaml GNU General Public License v3.0 UpdatedApr 25, 2023 -
hue Public
Forked from dalzilio/hueA random walk explorer for colored Petri nets
Go GNU Affero General Public License v3.0 UpdatedApr 24, 2023 -
SMPT Public
Forked from nicolasAmat/SMPTSMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
Python GNU General Public License v3.0 UpdatedApr 19, 2023
{{ message }}