Обязанности верификатора байт-кода JVM

Может ли кто-нибудь перечислить основные задачи, которые должен выполнять верификатор байт-кода, чтобы гарантировать правильность программы? Существует ли стандартный минимальный набор обязанностей, определенный в спецификации JVM? Мне также было интересно, распространяются ли проверки на другие этапы, такие как загрузка и инициализация.