Verifying data- and control-oriented properties combining static and runtime verification: theory and tools.
Wolfgang AhrendtJesús Mauricio ChimentoGordon J. PaceGerardo SchneiderPublished in: Formal Methods Syst. Des. (2017)
Keyphrases
- data sets
- data collection
- data acquisition
- complex data
- end users
- data sources
- training data
- database
- data points
- prior knowledge
- data analysis
- original data
- neural network
- data structure
- raw data
- data quality
- knowledge discovery
- statistical methods
- small number
- data processing
- data distribution
- missing data
- domain experts
- experimental data
- big data
- software packages
- model checking
- high dimensional data
- statistical analysis
- computer systems
- image data
- information systems
- learning algorithm
- machine learning
- data mining
- databases
- real time