We study operations on fixpoint equation systems (FES) over arbitrary
co...
One of the most popular state-space reduction techniques for model check...
In model checking, partial-order reduction (POR) is an effective techniq...
The use of graphics processors (GPUs) is a promising approach to speed u...