Comparing Verification Systems: Interactive Consistency in ACL2.

William D. Young

Published in: IEEE Trans. Software Eng. (1997)

Keyphrases

complex systems
automated verification
neural network
management system
distributed systems
virtual reality
interactive systems
databases
digital libraries
computer systems
building blocks
retrieval systems
user friendly
asynchronous circuits