FSEN 2015

This is the version that corresponds to the FSEN 2015 release, and uses the exact tool versions used to generate the parity games that are available for download (see the README for a link).

Gandalf 2014

This release contains the script used for generating the parity games at the time of submitting a research paper to GandALF 2014. This has since been superceded by the FSEN2015 work.

Thesis

This version of generation and plotting was used to obtain the results reported in Chapter 5 of J.J.A. Keiren, "Advanced Reduction Techniques for Model Checking", PhD thesis, Eindhoven University of Technology, 2013.