What no theorem-prover can do is ch

What no theorem-prover can do is check whether a specification is what the stakeholders had in mind, or whether it has a realistic chance of being built.

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

สิ่งที่ไม่มีทฤษฎีบท-prover สามารถทำได้คือการตรวจสอบว่าข้อมูลเป็นสิ่งที่ผู้มีส่วนได้เสียมีอยู่ในใจหรือไม่ว่าจะมีโอกาสเป็นจริงของการสร้าง

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

ทฤษฎีบท-prover ไม่ทำอะไรจะตรวจสอบว่าข้อมูลจำเพาะมีส่วนได้เสียที่มีในจิตใจ หรือว่ามันมีโอกาสเป็นจริงถูกสร้างขึ้นได้

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

สิ่งที่ไม่มีบทพิสูจน์ - prover สามารถทำได้ก็คือการตรวจสอบว่าข้อมูลจำเพาะที่มีอยู่ว่าผู้มีส่วนได้เสียมีอยู่ในใจหรือไม่ว่าจะมีโอกาสที่ดูสมจริงของการสร้างขึ้น