Login / Signup
AbPress: Flexing Partial-Order Reduction and Abstraction.
Daniel Kroening
Subodh Sharma
Björn Wachter
Published in:
CoRR (2014)
Keyphrases
</>
partial order reduction
model checking
petri net
high level
decision theoretic planning
database
data sets
machine learning
video sequences
computational complexity
digital libraries
temporal abstractions
data abstraction
concurrent processes