Relaxed Visibility Enhances Partial Order Reduction.

Ilkka Kokkarinen Doron A. Peled Antti Valmari

Published in: CAV (1997)

Keyphrases

partial order reduction
model checking
petri net
optimal solution
machine learning
three dimensional
multiresolution
domain knowledge
upper bound
small number
art gallery