cui-unige/mcc4mcc cui-unige/mcc4mcc

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Python
  • License
    MIT License
  • Created over 7 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
cui-unige/mcc4mcc
github

cui-unige

Reviews

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

Repository Details

Model Checker Collection for the Model Checking Contest @ Petri nets

More Repositories

1

outils-formels-modelisation

Cours de Bachelor : Outils Formels de Modélisation
Swift
20
star
2

outils-formels-modelisation-2018

Cours de Bachelor : Outils Formels de Modélisation
Swift
9
star
3

semantique

Cours de Bachelor : Sémantique des Langages Informatiques
Prolog
6
star
4

drone-control

4
star
5

BSc-sensor-machine-learning

Bachelor project for machine learning in the plant system
Jupyter Notebook
2
star
6

BSc-educative-gaming-2019

educative-gaming BSc Project
Python
2
star
7

modelisation-verification-2018

Cours de Master: Modélisation et Vérification
Swift
1
star
8

petrisport

A tool to compute some characteristics on sport Petri nets
JavaScript
1
star
9

cuso-winter-school

CUSO Winter School in Computer Science
1
star
10

swift-exercises

Exercises and Homework on Swift
Swift
1
star