Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters.

Matthew Hague Anthony Widjaja Lin

Published in: CAV (2012)

Keyphrases

information systems
statistical analysis
artificial intelligence
database
data sets
databases
neural network
image processing
three dimensional
wide range
search algorithm
data analysis
quantitative analysis