gijskant

Software engineer at @PicnicSupermarket, PhD student at @utwente-fmt.

@PicnicSupermarketUtrecht, The Netherlands

Pinned Repositories

keys
Public keys
0 0 00
ltsmin-scp-graphite2014
Instructions for installing LTSmin and replicating the runs reported in our SCP Graphite 2014 submission.
Language:Shell0 2 00
mCRL2
A fork of the Git repository for the mCRL2 toolset with an extension for partial model checking.
Language:C++1 0 00
mcrl2-pmc
A fork of the mCRL2 svn repository with an extension for partial model checking.
Language:C++0 1 01
partial-model-checking
Repository with scripts and instructions for a partial model checking technique for networks of LPSs.
Language:Python0 2 20
fairspace
Fairspace provides a secure environment for managing research data.
Language:JavaScript11 9 14
podium
Podium request portal for biobanks
Language:Java12 9 55
ltsmin
The LTSmin model checking toolset
Language:C51 13 16530

gijskant/mCRL2
A fork of the Git repository for the mCRL2 toolset with an extension for partial model checking.
Language:C++1 0 00
gijskant/keys
Public keys
0 0 00
gijskant/ltsmin-scp-graphite2014
Instructions for installing LTSmin and replicating the runs reported in our SCP Graphite 2014 submission.
Language:Shell0 2 00
gijskant/mcrl2-pmc
A fork of the mCRL2 svn repository with an extension for partial model checking.
Language:C++0 1 01
gijskant/partial-model-checking
Repository with scripts and instructions for a partial model checking technique for networks of LPSs.
Language:Python0 2 20
gijskant/paritygame-generator
Generator for parity games using various generation techniques to obtain a broad class of games
Language:Python1 0
gijskant/phdthesis-experiments
PhD thesis tools and examples
Language:Python0 0