Analysis of invariants for efficient bounded verification.

Juan P. Galeotti Nicolás Rosner Carlos López Pombo Marcelo F. Frias

Published in: ISSTA (2010)

Keyphrases

cost effective
formal analysis
statistical analysis
computationally expensive
image analysis
quantitative analysis
databases
learning algorithm
case study
object recognition
artificial neural networks
complexity analysis
face verification