Pragmatic Techniques for Program Analysis and Verification.

Erhard Plödereder

Published in: ICSE (1979)

Keyphrases

model checking
real world
artificial intelligence
formal verification
neural network
verification method
asynchronous circuits
lower bound
multiresolution
data structure
face verification
formal analysis
signature verification
high level
fingerprint verification
computer vision
databases
language generation