The statement that Òthe program sha

The statement that Òthe program shall never enter an inÞnite loopÓ is nonveriÞable
because the testing of this quality is theoretically impossible.

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

คำสั่งที่โปรแกรม Òthe จะไม่ป้อนมี loopÓ inÞnite เป็น nonveriÞableเนื่องจากการทดสอบคุณภาพนี้เป็นไปไม่ได้ในทางทฤษฎี

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

คำสั่งว่าโปรแกรม Othe จะไม่ป้อนinÞniteloopÓเป็นnonveriÞable
เพราะการทดสอบที่มีคุณภาพนี้เป็นไปไม่ได้ในทางทฤษฎี