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. pginfo pginfo Public

   Tool to collect information from parity games

   C++

5. 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

6. logging logging Public

   Simple logging library for C++

   C++