La JVM «verifica» todo bytecode antes de ejecutarlo.