Input Elimination Transformations for Scalable Verification and Trace Reconstruction.
Raj Kumar GajavellyJason BaumgartnerAlexander IvriiRobert L. KanzelmanShiladitya GhoshPublished in: FMCAD (2019)
Keyphrases
- model checking
- formal verification
- image reconstruction
- discrete tomography
- web scale
- data mining
- high resolution
- shape recovery
- artificial neural networks
- multiresolution
- input data
- image quality
- decision trees
- computer vision
- reconstructed image
- reconstruction method
- memory efficient
- reconstruction process
- data sets
- real time