Tabular verification and refinement.

Emil Sekerinski

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

model checking
verification method
neural network
face verification
information systems
expert systems
hidden markov models
formal analysis
asynchronous circuits
refinement process
concurrent systems