• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Automatically Detecting Inconsistencies in Program Specifications.

Aditi TagoreBruce 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