Automated Proofs of Object Code for a Widely Used Microprocessor.

Robert S. Boyer Yuan Yu

Published in: J. ACM (1996)

Keyphrases

semi automated
d objects
high speed
similar objects
complex objects
multiple objects
object model
fully automated
bounding box
target object
object segmentation
database
data objects
video sequences
neural network
object tracking
design methodology