Runtime verification of microcontroller binary code
Under an Elsevier user license
open archive
Highlights
► Runtime verification for binary code. ► Non-intrusive monitoring. ► Synthesis of hardware monitors.
Keywords
Runtime verification
Past time LTL
Embedded real-time systems
Cited by (0)
Copyright © 2012 Elsevier B.V. All rights reserved.