Verification under TSO with an infinite Data Domain.
Parosh Aziz AbdullaMohamed Faouzi AtigFlorian FurbachShashwat GargPublished in: TACAS (3) (2024)
Keyphrases
- data sets
- database
- data points
- experimental data
- data analysis
- raw data
- application domains
- statistical analysis
- data quality
- high quality
- data structure
- original data
- data sources
- neural network
- small number
- input data
- data processing
- data collection
- dimensionality reduction
- high dimensional data
- machine learning
- end users
- prior knowledge
- xml documents
- information retrieval