yanntm/PetriSpot yanntm/PetriSpot

  • Stars
    star
    1
  • Language
    C++
  • Created about 4 years ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
yanntm/PetriSpot
github

yanntm

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A protoype project to model check LTL formula on Petri nets.

More Repositories

1

YoBot

A bot to compete in Starcraft 2 AI tournaments
C++
6
star
2

MCC-analysis

A repository hosting scripts to analyze the results of the MCC
R
4
star
3

ITS-Tools-MCC

Wrapper for ITS-Tools used in the Model-Checking contest
Shell
3
star
4

Puck3

Development of Puck 3 DSL.
Java
3
star
5

pnmcc-models-2020

Models, Formulas, Oracles from Model Checking Competition 2020
HTML
2
star
6

pnmcc-models-2022

Models, formulas and oracles from the 2022 Model Checking Competition
HTML
2
star
7

PSCR-TME

Provided lab files for PSCR MU4IN400 course.
C++
2
star
8

JITTAC

Java
2
star
9

pnmcc-models-2021

Models, Formulas, Oracles from Model Checking Competition 2021
HTML
2
star
10

pnmcc-tests

A framework to run tests on any MCC compliant tool.
Perl
2
star
11

HUPN-HumanUsablePetriNotation

A textual format to manipulate high-level colored Petri nets. Compatible with PNML.
Java
2
star
12

MCC-drivers

A driver to adapt various tools to Model Checking Contest formats.
Shell
2
star
13

Abat

Action Based Attack Trees
Java
1
star
14

PSCR-TME4

C++
1
star
15

SMPT-BinaryBuilds

A repository hosting CI to rebuild SMPT binaries from source
Shell
1
star
16

CPNTools

Standard ML
1
star
17

metrics2-gh

HTML
1
star
18

pnmcc-models-2019

Models from the Model Checking Contest 2019 edition
HTML
1
star
19

AutoParallelJava

A Project to automatically refactor Java enhanced for loops to streams.
Java
1
star