Compositional Analysis of C/C++ Programs with VeriSoft.

Published in: Acta Informatica (2006)

Keyphrases

data analysis
neural network
data mining
static analysis
quantitative analysis
similarity measure
pattern recognition
automatic analysis
probabilistic model
hidden markov models
bayesian networks
image sequences
high level
decision making
information retrieval
machine learning
real world