Login / Signup
On the verification of sequential machines at differing levels of abstraction.
Srinivas Devadas
Hi-Keung Tony Ma
A. Richard Newton
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1988)
Keyphrases
</>
levels of abstraction
abstraction levels
learning machines
machine learning
databases
decision making
feature extraction
model checking
formal methods
human intelligence
signature verification
sequential search
parallel tree search