Vector-clock based partial order reduction for JPF.

Eric Noonan Eric Mercer Neha Rungta

Published in: ACM SIGSOFT Softw. Eng. Notes (2014)

Keyphrases

partial order reduction
model checking
petri net
high speed
feature vectors
power consumption
real world
image processing
probabilistic model
social networks
website
three dimensional
face recognition
real time
distance measure
machine learning
sparse matrix
data sets