Overview of verification systems.

Dan Craigen Donald I. Good

Published in: ACM SIGSOFT Softw. Eng. Notes (1985)

Keyphrases

natural language
machine learning
building blocks
hidden markov models
distributed systems
knowledge based systems
neural network
computer vision
knowledge base
website
decision trees
expert systems
management system
retrieval systems