Login / Signup
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