Past Time LTL Runtime Verification for Microcontroller Binary Code.

Thomas Reinbacher, Jrg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski

Browse the full FMICS paper archive.