Mechanized, Compositional Verification of Low-Level Code.
Björn BartelsNils JähnigPublished in: NASA Formal Methods (2014)
Keyphrases
- low level
- high level
- higher level
- source code
- model checking
- low level features
- high level abstractions
- visual cues
- visual features
- middle level
- information retrieval
- visual information
- signature verification
- computer vision
- mid level
- formal analysis
- databases
- false acceptance
- symbolic execution
- high level information
- asynchronous circuits
- formal verification
- information systems
- face verification
- data mining
- semantic concepts
- real time
- software development