Valo13

Pinned Repositories

mCRL2
The Git repository for the mCRL2 toolset.
Language:C++91 11 1.7k39
metaborg-mcrl2
Spoofax definition of mCRL2
0 11 40
metaborg-mucalculus
0 4 00
ModelChecking
Algorithms for model checking programs.
Language:TeX0 5 00
systemvalidation
mCRL2 files to model a coffee vending machine.
Language:Java0 6 00
mCRL2
The Git repository for the mCRL2 toolset, forked.
Language:C++00
mCRL2-IDE
An IDE for users that are new to the mCRL2 tool-set - This repository is outdated as the tool has been added to the main mCRL2 repository
Language:C++00
plmuChecker
Language:Python00

Valo13's Repositories

Valo13/mCRL2
The Git repository for the mCRL2 toolset, forked.
Language:C++00
Valo13/mCRL2-IDE
An IDE for users that are new to the mCRL2 tool-set - This repository is outdated as the tool has been added to the main mCRL2 repository
Language:C++00
Valo13/plmuChecker
Language:Python00