A Pragmatic Approach to Stateful Partial Order Reduction.

Berk Çirisci Constantin Enea Azadeh Farzan Suha Orhun Mutluergil

Published in: CoRR (2022)

Keyphrases

partial order reduction
model checking
petri net
publish subscribe
database systems
data processing
real time
preprocessing
data model
data management
building blocks
knowledge discovery
data collection