Runtime verification client for Android