Formally Verifying Data and Control with Weak Reachability Invariants.
Jeffrey X. SuDavid L. DillJens U. SkakkebækPublished in: FMCAD (1998)
Keyphrases
- data sets
- data analysis
- computer systems
- data collection
- original data
- database
- raw data
- small number
- noisy data
- high quality
- data sources
- data mining techniques
- input data
- neural network
- historical data
- data quality
- complex data
- data acquisition
- spatial data
- sensor data
- synthetic data
- high dimensional data
- labeled data
- statistical analysis
- data processing
- sensor networks
- data points
- control system
- data structure
- real time