Skip to content
View jkeiren's full-sized avatar
6 followers · 14 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Organizations

@tue-mdse

Block or report jkeiren

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. paritygame-generator paritygame-generator Public

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

    Python 8 1

  2. TimeSolver TimeSolver Public

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

    C++ 4 2

  3. muCRL muCRL Public

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

    C 2

  4. minisat2 minisat2 Public

    Forked from niklasso/minisat

    A minimalistic and high-performance SAT solver

    C++ 1 1

  5. pginfo pginfo Public

    Tool to collect information from parity games

    C++

  6. pbesstategraph-experiments pbesstategraph-experiments Public

    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"

    Python