yanntm/MCC-analysis yanntm/MCC-analysis

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    R
  • License
    GNU General Publi...
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
yanntm/MCC-analysis
github

yanntm

Reviews

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

Repository Details

A repository hosting scripts to analyze the results of the MCC

More Repositories

1

YoBot

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

ITS-Tools-MCC

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

Puck3

Development of Puck 3 DSL.
Java
3
star
4

pnmcc-models-2020

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

pnmcc-models-2022

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

PSCR-TME

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

JITTAC

Java
2
star
8

pnmcc-models-2021

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

pnmcc-tests

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

HUPN-HumanUsablePetriNotation

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

MCC-drivers

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

Abat

Action Based Attack Trees
Java
1
star
13

PSCR-TME4

C++
1
star
14

SMPT-BinaryBuilds

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

CPNTools

Standard ML
1
star
16

PetriSpot

A protoype project to model check LTL formula on Petri nets.
C++
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