Some Aspects of the Verification of Loop Computations.

Published in: IEEE Trans. Software Eng. (1978)

Keyphrases

model checking
preprocessing
face verification
real time
machine learning
learning algorithm
three dimensional
formal analysis