The statement that the program shal

The statement that the program shall never enter an infinite loop is non verifiable
because the testing of this quality is theoretically impossible.

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

คำสั่งที่โปรแกรมจะไม่สามารถป้อนการวนรอบ infinite จะไม่สามารถตรวจสอบเนื่องจากการทดสอบคุณภาพนี้เป็นไปไม่ได้ในทางทฤษฎี

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

คำสั่งที่โปรแกรมจะไม่ใส่ห่วงอนันต์ไม่สามารถตรวจสอบได้
เพราะการทดสอบที่มีคุณภาพนี้เป็นไปไม่ได้ในทางทฤษฎี

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

ข้อความที่โปรแกรมจะไม่ใส่ไม่ได้ห่วงอนันต์เนื่องจากการทดสอบคุณภาพนี้เป็นทฤษฎีเป็นไปไม่ได้