Verification under TSO with an infinite Data Domain.
Parosh Aziz AbdullaMohamed Faouzi AtigFlorian FurbachShashwat GargPublished in: CoRR (2024)
Keyphrases
- raw data
- high quality
- training data
- data sets
- database
- data processing
- data analysis
- multimedia data
- experimental data
- data points
- statistical analysis
- domain experts
- synthetic data
- input data
- image data
- knowledge discovery
- data sources
- data collection
- background knowledge
- attribute values
- application domains
- data acquisition
- expert systems
- web pages
- original data
- data objects
- complex data
- historical data