An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL.

Anthony C. J. Fox

Published in: CALCO (2005)

Keyphrases

main contribution
conceptual framework
input data
real time
case study
low cost
input variables
neural network
data mining
information systems
image processing
knowledge representation
theoretical framework
formal model
desired output