A requirement is verifiable if, and

A requirement is verifiable if, and only if, there exists some finite

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

ความต้องคือ ถ้าตรวจสอบได้ และเฉพาะ มีจำกัดบาง

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

ความต้องการเป็นที่ตรวจสอบได้ถ้าหากว่ามีอยู่ จำกัด บางอย่าง

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

ความต้องการจะตรวจสอบได้ถ้าเกิดมีบางวิธี