Dual analysis for proving safety and finding bugs.

Corneliu Popeea Wei-Ngan Chin

Published in: Sci. Comput. Program. (2013)

Keyphrases

data analysis
statistical analysis
data mining
information systems
evolutionary algorithm
image analysis
data sets
search algorithm
software systems
linear programming
source code
expert systems
multiscale
decision making
computer vision
information retrieval
neural network
databases