Experience with Four Automated Verification Systems.

Carl A. Sunshine

Published in: PSTV (1982)

Keyphrases

automated verification
model checking
complex systems
distributed systems
learning algorithm
management system
intelligent systems
formal verification
database
data sets
computer vision
probabilistic model
software development
retrieval systems