Complexity of Proving Program Correctness.

Published in: TACS (1991)

Keyphrases

neural network
knowledge base
computational complexity
computer programs
programming environment
lower complexity
real time
case study
multiscale
artificial neural networks
multiresolution
data model
test cases
space complexity
control program