Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata.
Parosh Aziz AbdullaLukás HolíkBengt JonssonOndrej LengálCong Quy TrinhTomás VojnarPublished in: ATVA (2013)
Keyphrases
- data structure
- data sets
- data collection
- data analysis
- training data
- historical data
- database
- small number
- computer systems
- statistical analysis
- data acquisition
- synthetic data
- high dimensional data
- prior knowledge
- image data
- data points
- database systems
- learning algorithm
- missing data
- attribute values
- model checking
- website
- raw data
- noisy data
- data quality
- high quality