What is verification stage and what are steps involved during verification?
It ensures that the types obey the semantics of java language and doesn’t violate the integrity of JVM. The entire process of detecting any kind of problem with loaded types is placed under the category of verification. Verification of symbolic references and converting them to direct references. · checking that final classes are not sub classed · checking that final methods are not overridden · if the type being checked is a non-abstract class, checking that all the methods declared in any interfaces implemented by the class are indeed implemented by the class · Making sure no incompatible method declarations (such as two methods that have the same name, the same number, order, and types of parameters, but different return types) appear between the type and its supertypes.
