Byte-Precise Verification of Low-Level List Manipulation.
Kamil DudkaPetr PeringerTomás VojnarPublished in: SAS (2013)
Keyphrases
- low level
- high level
- higher level
- visual features
- model checking
- low level features
- visual cues
- visual information
- face verification
- person identification
- image classification
- concurrent systems
- neural network
- middle level
- formal verification
- formal analysis
- lower level
- case study
- genetic algorithm
- ranked list
- semantic information
- mid level
- computational complexity
- image segmentation
- error correcting codes