Static Partial Order Reduction.

Robert P. Kurshan Vladimir Levin Marius Minea Doron A. Peled Hüsnü Yenigün

Published in: TACAS (1998)

Keyphrases

partial order reduction
model checking
petri net
dynamic analysis
genetic algorithm
website
domain knowledge
artificial intelligence
information systems
multimedia
data model