Automating Verification by Functional Abstraction at the System Level.

Klaus Schneider Ramayya Kumar Thomas Kropf

Published in: TPHOLs (1994)

Keyphrases

functional verification
levels of abstraction
machine learning
computer vision
higher level
databases
learning algorithm
knowledge base
multimedia
high level
expert systems