Jeroen Keiren's repositories
paritygame-generator
Generator for parity games using various generation techniques to obtain a broad class of games
TimeSolver
On-the-fly model checker for timed automata with support for the alternation-free modal mu-calculus.
commandline
C++ Command line library (originally developed for mCRL2 (www.mcrl2.org))
formal-methods-nl
A research agenda for formal methods in the Netherlands -- abstracts of our Lorentz Center meeting
ltsmin
The LTSmin model checking toolset
mCRL2
The Git repository for the mCRL2 toolset.
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"
satsolversforocaml
SAT Solvers For OCaml
sigrefmc
Multi-core symbolic bisimulation minimisation
TorXakis
A tool for Model Based Testing