Dynamic Partial Order Reduction Using Probe Sets.

Harmen Kastenberg Arend Rensink

Published in: CONCUR (2008)

Keyphrases

data sets
dynamic environments
partial order reduction
three dimensional
model checking
optimal solution
wide range
data structure
digital libraries
expert systems
relational databases
special case