Scalable Dynamic Partial Order Reduction.

Jirí Simsa Randy Bryant Garth A. Gibson Jason Hickey

Published in: RV (2012)

Keyphrases

partial order reduction
model checking
artificial intelligence
petri net
multiresolution
web scale
data sets
web services
relational databases
medical images
dynamic environments