42 citations · 127 across the 17 of their papers we have counts for
5 papers · 1 filter
Operations on Fixpoint Equation Systems
Thomas Neele, Jaco van de Pol
We study operations on fixpoint equation systems (FES) over arbitrary complete lattices. We investigate under which conditions these operations, such as substituting variables by t…
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…
Variations on Multi-Core Nested Depth-First Search
Alfons Laarman, Jaco van de Pol
Recently, two new parallel algorithms for on-the-fly model checking of LTL properties were presented at the same conference: Automated Technology for Verification and Analysis, 201…
Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation
Lubos Brim, Jaco van de Pol
The 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2009) took place on November 4, 2009 at the Eindhoven University of Technology, in conjunct…
Distributed Branching Bisimulation Minimization by Inductive Signatures
Stefan Blom, Jaco van de Pol
We present a new distributed algorithm for state space minimization modulo branching bisimulation. Like its predecessor it uses signatures for refinement, but the refinement proces…