David May;David Shepherd
-;-
Runtime verification of microcontroller binary code
Science of Computer Programming