42 citations · 127 across the 17 of their papers we have counts for
1 paper · 2 filters
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…