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

A Specification Language for Static and Runtime Verification of Data and Control Properties.

Wolfgang AhrendtJesús Mauricio ChimentoGordon J. PaceGerardo Schneider
Published in: FM (2015)
Keyphrases
  • data acquisition
  • data sets
  • specification language
  • database
  • training data
  • data analysis
  • artificial intelligence
  • data structure
  • data points
  • data collection
  • evolutionary algorithm
  • dynamic programming
  • data sources