Computing Publications

Publications Home » A workbench for preprocessor desi...

A workbench for preprocessor design and evaluation: toward benchmarks for parity games

Michael Huth, Nir Piterman, Huaxin Wang

Conference or Workshop Paper
Ninth International Workshop on Automatic Verification of Critical Systems
Electronic Communications of the EASST
2009
European Association of Software Science and Technology
Abstract

We describe a prototype workbench for the study of parity games and their solvers. This workbench is aimed at facilitating two activities: to aid in the design, validation, and evaluation of pre-processors for parity game solvers; and to aid in the generation of benchmark parity games that are meaningful for a wide range of solvers. Our workbench allows for easy composition of pre-processors, can populate databases with games and their meta-data, offers a query language for generating games of interest, and has already found potentially hard games.

Notes

This paper is to appear.

BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.