Runtime verification on Javascript