jkeiren

followers

following

stars

Eindhoven University of Technolgoy

Eindhoven, The Netherlands

http://www.jeroenkeiren.nl

Organizations

tue-mdse

Jeroen Keiren's repositories

paritygame-generator

Generator for parity games using various generation techniques to obtain a broad class of games

Language:Python800

TimeSolver

On-the-fly model checker for timed automata with support for the alternation-free modal mu-calculus.

Language:C++MIT4 10

muCRL

Collection of tools for manipulating process and data descriptions written in µCRL (micro Common Representation Language)

Language:CGPL-2.02 40

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Language:PythonApache-2.0010

commandline

C++ Command line library (originally developed for mCRL2 (www.mcrl2.org))

Language:C++020

formal-methods-nl

A research agenda for formal methods in the Netherlands -- abstracts of our Lorentz Center meeting

Language:TeX000

logging

Simple logging library for C++

Language:C++010

ltsmin

The LTSmin model checking toolset

Language:CBSD-3-Clause000

mCRL2

The Git repository for the mCRL2 toolset.

Language:C++BSL-1.0000

minisat2

A minimalistic and high-performance SAT solver

Language:C++NOASSERTION010

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:Python000

pginfo

Tool to collect information from parity games

Language:C++000

pgsolver

A collection of tools for generating, manipulating and - most of all - solving parity games.

Language:OCaml010

satsolversforocaml

SAT Solvers For OCaml

Language:OCaml010

sigrefmc

Multi-core symbolic bisimulation minimisation

Language:CApache-2.0000

TorXakis

A tool for Model Based Testing

Language:HaskellBSD-3-Clause000