State the Verify phase of Java Program Development

Before the bytecodes in an application are executed by the java interpreter, they are verified by the bytecode verifier in Phase 4. This ensures that the bytecodes for class that are loaded form the internet (referred to as downloaded classes) are valid and that they do not violate Java's security restrictions.

Java enforces strong security because java programs arriving over the network should not be able to cause damage to your files and your system (as computer viruses might).