Relaxed Visibility Enhances Partial Order Reduction.

Doron A. Peled Antti Valmari Ilkka Kokkarinen

Published in: Formal Methods Syst. Des. (2001)

Keyphrases

partial order reduction
model checking
petri net
optimal solution
digital images
compression artifacts
video sequences
scheduling problem