The Practical Verification System Project.

James G. Williams Charles H. Applebaum

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

Keyphrases

model checking
data collection
project management
neural network
information retrieval
case study
formal analysis
real world
machine learning
database systems
bayesian networks
software engineering
practical application
concurrent systems