Efficient Coverability Analysis by Proof Minimization.

Alexander Kaiser Daniel Kroening Thomas Wahl

Published in: CONCUR (2012)

Keyphrases

neural network
data analysis
image analysis
real time
databases
real world
data mining
information retrieval
case study
bayesian networks
statistical analysis
quantitative analysis
complexity analysis