Semi-formal Verification of Memory Systems by Symbolic Simulation.

Husam Abu-Haimed Sergey Berezin David L. Dill

Published in: CHARME (2003)

Keyphrases

formal verification
automated verification
model checking
management system
intelligent systems
complex systems
simulation models
neural network
high level
knowledge based systems
mathematical model
retrieval systems
mathematical models
connectionist systems