Past Time LTL Runtime Verification for Microcontroller Binary Code.

Thomas Reinbacher Jörg Brauer Martin Horauer Andreas Steininger Stefan Kowalewski

Published in: FMICS (2011)

Keyphrases

binary codes
model checking
bounded model checking
linear time temporal logic
temporal logic
hamming distance
formal verification
linear temporal logic
gray code
control system
hash functions
similarity search
image collections
data mining
image content
image classification
object recognition
multiscale