Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques.

Steven Lauterburg Rajesh K. Karmani Darko Marinov Gul Agha

Published in: FASE (2010)

Keyphrases

partial order reduction
petri net
model checking
dynamic environments