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: Acta Informatica (2016)
Keyphrases
- data structure
- statistical analysis
- synthetic data
- data sets
- original data
- data collection
- data points
- data quality
- input data
- data processing
- high quality
- data distribution
- experimental data
- sensor data
- complex data
- data objects
- data acquisition
- user defined
- high dimensional data
- small number
- probability distribution
- missing data
- search engine
- model checking
- bayesian networks
- raw data
- database
- image data
- knowledge discovery