Automatic versus interactive program verification.

Published in: HILT (2013)

Keyphrases

computer graphics
semi automatic
fully automatic
multiscale
data driven
neural network
interactive learning
labor intensive
multiresolution
user interaction
virtual reality
interactive video
database
user friendly
special case
case study
search engine
information retrieval
real time