Login / Signup

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