The approach has been to use an int

The approach has been to use an intermediate language (Z) and to
translate the specifications and code into a common form, and to verify equiva-
lence.

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

วิธีการได้รับใช้เป็นภาษากลาง (Z) และแปลข้อมูลจำเพาะและรหัสลง ในแบบฟอร์มทั่วไป และ การตรวจสอบ equiva-lence

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

วิธีการที่ได้รับการใช้ภาษากลาง (Z) และการ
แปลข้อกำหนดและรหัสลงในรูปแบบทั่วไปและเพื่อตรวจสอบค่าเท่า
lence

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

วิธีการได้รับการใช้ภาษาระดับกลาง ( Z ) และแปลข้อมูลและรหัสลงในแบบฟอร์มทั่วไปและการตรวจสอบ equiva -lence .