The VERUS Design Verification System.

Published in: IEEE Symposium on Security and Privacy (1983)

Keyphrases

data sets
user interface
user experience
design principles
engineering design
formal verification
real time
data mining
machine learning
design process
software architecture
functional verification