9 citations · 18 across the 2 of their papers we have counts for
2 papers
cs.LO2014★ 9 cited
Generating and Solving Symbolic Parity Games
Gijs Kant, Jaco van de Pol
We present a new tool for verification of modal mu-calculus formulae for process specifications, based on symbolic parity games. It enhances an existing method, that first encodes…
cs.LO2012★ 9 cited
Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games
Gijs Kant, Jaco van de Pol
Parameterised Boolean Equation Systems (PBESs) are sequences of Boolean fixed point equations with data variables, used for, e.g., verification of modal mu-calculus formulae for pr…