Automatically Detecting Inconsistencies in Program Specifications.

Aditi Tagore Bruce W. Weide

Published in: NASA Formal Methods (2013)

Keyphrases

automatically detecting
automatic detection
control flow
knowledge base
high level
feature vectors
image features
object detection