jkeiren/muCRL
Collection of tools for manipulating process and data descriptions written in µCRL (micro Common Representation Language)
Developer Profile
jkeiren
Discovered public repositories for jkeiren in the GitHub catalog.
jkeiren/paritygame-generator
Generator for parity games using various generation techniques to obtain a broad class of games
jkeiren/commandline
C++ Command line library (originally developed for mCRL2 (www.mcrl2.org))
jkeiren/logging
Simple logging library for C++
jkeiren/pbesstategraph-experiments
Repository containing the examples and scripts for the experiments belonging to the paper "Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction"
jkeiren/pginfo
Tool to collect information from parity games