Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators.

Mary Shaw William A. Wulf Ralph L. London

Published in: Commun. ACM (1977)

Keyphrases

bounded model checking
formal verification
hardware designs
model checking
high level
data mining
face verification
decision theoretic planning
database
neural network
information systems
objective function
formal methods
iterative process
iterative algorithms
concurrent systems