The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction.

Thomas Neele Antti Valmari Tim A. C. Willemse

Published in: FoSSaCS (2020)

Keyphrases

partial order reduction
model checking
petri net
information retrieval
database
data sets
image details
databases
training data
data structure
data streams
pairwise
color images
wireless sensor networks
digital images