Login / Signup
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