Login / Signup
Facing the challenge of new design features: an effective verification approach.
Wisam Kadry
Ronny Morad
Alex Goryachev
Eli Almog
Christopher A. Krygowski
Published in:
DAC (2011)
Keyphrases
</>
co occurrence
feature space
false positives
binary features
neural network
feature vectors
prior knowledge
classification accuracy
object oriented
case study
design process
computer vision
software architecture
key features
engineering design
design methodology
design space
formal verification
machine learning