jkeiren

Eindhoven University of TechnolgoyEindhoven, The Netherlands

Pinned Repositories

benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python0 1 00
commandline
C++ Command line library (originally developed for mCRL2 (www.mcrl2.org))
Language:C++0 2 00
formal-methods-nl
A research agenda for formal methods in the Netherlands -- abstracts of our Lorentz Center meeting
Language:TeX0 1 00
logging
Simple logging library for C++
Language:C++0 1 00
ltsmin
The LTSmin model checking toolset
Language:C0 0 00
mCRL2
The Git repository for the mCRL2 toolset.
Language:C++0 0 00
minisat2
A minimalistic and high-performance SAT solver
Language:C++0 1 01
muCRL
Collection of tools for manipulating process and data descriptions written in µCRL (micro Common Representation Language)
Language:C2 4 00
paritygame-generator
Generator for parity games using various generation techniques to obtain a broad class of games
Language:Python8 2 21
TimeSolver
On-the-fly model checker for timed automata with support for the alternation-free modal mu-calculus.
Language:C++4 1 02

jkeiren's Repositories

jkeiren/paritygame-generator
Generator for parity games using various generation techniques to obtain a broad class of games
Language:Python8 2 21
jkeiren/TimeSolver
On-the-fly model checker for timed automata with support for the alternation-free modal mu-calculus.
Language:C++4 1 02
jkeiren/muCRL
Collection of tools for manipulating process and data descriptions written in µCRL (micro Common Representation Language)
Language:C2 4 00
jkeiren/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python0 1 00
jkeiren/commandline
C++ Command line library (originally developed for mCRL2 (www.mcrl2.org))
Language:C++0 2 00
jkeiren/formal-methods-nl
A research agenda for formal methods in the Netherlands -- abstracts of our Lorentz Center meeting
Language:TeX0 1 00
jkeiren/logging
Simple logging library for C++
Language:C++0 1 00
jkeiren/ltsmin
The LTSmin model checking toolset
Language:C0 0 00
jkeiren/mCRL2
The Git repository for the mCRL2 toolset.
Language:C++0 0 00
jkeiren/minisat2
A minimalistic and high-performance SAT solver
Language:C++0 1 01
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"
Language:Python0 2 00
jkeiren/pginfo
Tool to collect information from parity games
Language:C++2 0
jkeiren/pgsolver
A collection of tools for generating, manipulating and - most of all - solving parity games.
Language:OCaml1 0
jkeiren/satsolversforocaml
SAT Solvers For OCaml
Language:OCaml1 0
jkeiren/sigrefmc
Multi-core symbolic bisimulation minimisation
Language:C0 0
jkeiren/TorXakis
A tool for Model Based Testing
Language:Haskell

jkeiren

Pinned Repositories

benchexec

commandline

formal-methods-nl

logging

ltsmin

mCRL2

minisat2

muCRL

paritygame-generator

TimeSolver

jkeiren's Repositories

jkeiren/paritygame-generator

jkeiren/TimeSolver

jkeiren/muCRL

jkeiren/benchexec

jkeiren/commandline

jkeiren/formal-methods-nl

jkeiren/logging

jkeiren/ltsmin

jkeiren/mCRL2

jkeiren/minisat2

jkeiren/pbesstategraph-experiments

jkeiren/pginfo

jkeiren/pgsolver

jkeiren/satsolversforocaml

jkeiren/sigrefmc

jkeiren/TorXakis