Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking.

Xueguang Wu Yanjun Wen Liqian Chen Wei Dong Ji Wang

Published in: SERE (Companion) (2013)

Keyphrases

data analysis
data sets
database
data collection
spatial data
data processing
data sources
data structure
raw data
high quality
computer systems
statistical analysis
synthetic data
end users
image data
anomaly detection
high dimensional data
missing data
training data
model checking