JVM Verification