Stars
A best effort practical tool to obtain LTL formula from arbitrary omega automata.
A framework to ease parallelization of sequential SAT solvers
Repository containing scripts and logs of experiments on computation of Petri net invariants.
An experimental Ray tracer I made completely from scratch, without any external libraries
Supports de TME pour l'UE de Programmation Concurrente Sorbonne Université
A small server to offer MCC compliant tools to the web.
TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.
A small tool to look at Petri nets in a web page.
A repository hosting scripts to analyze the results of the MCC
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
A driver to adapt various tools to Model Checking Contest formats.
A multi-formalism, multi-solution model-checker centered on the language GAL
This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org)
A project to host command-line version of ITS-Tools components embedded in eclipse
The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.
Wrapper for ITS-Tools used in the Model-Checking contest
A Project to automatically refactor Java enhanced for loops to streams.
Library for Data Decision Diagrams and Set Decision Diagrams
🚀 Automatically deploy your project to GitHub Pages using GitHub Actions. This action can be configured to push your production-ready code into any branch you'd like.
The list of continuous integration services and tools
A very simple A* implementation in C++ callable from Python for pathfinding on a two-dimensional grid.
Simplistic (but fast) java implementation of a bloom filter.