In Section 5. we describe a checker

In Section 5. we describe a checker design for each invariant and give a SPARCv9 based implementation of
DVMC.

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

ใน 5 ส่วน เราอธิบายแบบตัวตรวจสอบสำหรับแต่ละภาษา และให้ดำเนินการตาม SPARCv9 ของDVMC

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

ในมาตรา 5 เราจะอธิบายการออกแบบตรวจสอบสำหรับแต่ละคงที่และให้ดำเนินการตาม SPARCv9 ของ
DVMC

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

ในส่วนที่ 5 . เราอธิบายการออกแบบตรวจสอบสำหรับแต่ละค่าคงที่ และให้ sparcv9 ตามการ dvmc

.