CSP-CASL-Prover: A Generic Tool for Process and Data Refinement.
Liam O'ReillyMarkus RoggenbachYoshinao IsobePublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- data sets
- image data
- high quality
- redundant data
- synthetic data
- data collection
- input data
- data processing
- statistical analysis
- database
- spatial data
- sensor data
- data sources
- small number
- computer systems
- training data
- databases
- data analysis
- experimental data
- data objects
- data quality
- historical data
- theorem prover
- theorem proving
- data structure