Structured specification for program verification.

Published in: KSE (2012)

Keyphrases

high level
real world
databases
bayesian networks
search algorithm
real time
neural network
data mining
computer vision
expert systems
hidden markov models
structured data
asynchronous circuits