SMS: Runtime verification :