Verifying Tomasulo's Algoithm by Refinement.

Tamarah Arons Amir Pnueli

Published in: VLSI Design (1999)

Keyphrases

model checking
artificial intelligence
refinement process
data sets
query refinement
refinement operators
database
databases
computer vision
pattern recognition
preprocessing
relational databases
viewpoint
image registration
step wise