Describir: Runtime verification :