Before the JVM will allow an applic

Before the JVM will allow an application/applet to run, its code must be verified. The verifier assumes that all code is meant to crash or violate system security and performs a series of checks, including the execution of a theorem prover, to ensure that this is not the case. Typical checks include verifying that:

ผลลัพธ์ (ไทย) 1:

ก่อน JVM จะอนุญาตให้แอพลิเคชัน/ล็ตการรัน รหัสต้องสามารถตรวจสอบ Verifier ที่สมมติว่า รหัสทั้งหมดหมายถึงความผิดพลาด หรือละเมิดความปลอดภัยของระบบ และดำเนินการชุดการตรวจสอบ รวมทั้งการดำเนินการของ prover ทฤษฎีบท เพื่อให้แน่ใจว่า นี้ไม่ใช่กรณี ตรวจสอบโดยทั่วไปรวมถึงการตรวจสอบที่:

ผลลัพธ์ (ไทย) 2:

ก่อนที่จะ JVM จะช่วยให้โปรแกรม / โปรแกรมที่จะเรียกใช้รหัสของมันจะต้องได้รับการตรวจสอบ ตรวจสอบสันนิษฐานว่ารหัสทั้งหมดมีความหมายที่ผิดพลาดหรือละเมิดระบบรักษาความปลอดภัยและดำเนินการชุดของการตรวจสอบรวม​​ถึงการดำเนินการของ prover ทฤษฎีบทเพื่อให้แน่ใจว่ากรณีนี้ไม่ได้ การตรวจสอบทั่วไปรวมถึงการตรวจสอบว่า

ผลลัพธ์ (ไทย) 3:

ก่อน JVM จะอนุญาตให้โปรแกรม / แอพเพล็ตเพื่อเรียกใช้รหัสจะต้องถูกตรวจสอบ การตรวจสอบสันนิษฐานว่า รหัสทั้งหมดจะหมายถึงเกิดความผิดพลาด หรือการละเมิดความปลอดภัยของระบบและดำเนินการชุดของการตรวจสอบ รวมทั้งการดำเนินการของทฤษฎีบทโพรเวอร์ เพื่อให้แน่ใจว่า นี้เป็นกรณีที่ไม่ การตรวจสอบโดยทั่วไปจะรวมถึงการตรวจสอบว่า :