VerifyThis 2012 - A Program Verification Competition.

Marieke Huisman Vladimir Klebanov Rosemary Monahan

Published in: Int. J. Softw. Tools Technol. Transf. (2015)

Keyphrases

multiscale
artificial neural networks
real time
metadata
multimedia
high level
image analysis
data model
probabilistic model
international competition