Building automatic program verifiers.

Published in: PLMW@POPL (2015)

Keyphrases

semi automatic
database
databases
artificial neural networks
real time
image processing
image sequences
multiscale
data structure
expert systems
fully automatic