Towards deductive verification of C programs with shared data.
Mikhail U. MandrykinAlexey V. KhoroshilovPublished in: Program. Comput. Softw. (2016)
Keyphrases
- data sets
- training data
- data analysis
- data collection
- data processing
- data quality
- original data
- knowledge discovery
- data sources
- high quality
- data mining techniques
- database
- synthetic data
- sensor data
- data distribution
- integrity verification
- signature verification
- historical data
- complex data
- neural network
- noisy data
- feature selection
- model checking
- missing data
- decision trees
- input data
- data points