To rule out errors need toconsider

To rule out errors need to
consider all possible executions
often not feasible mechanically!
− need formal verification

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

การยกเลิก ข้อผิดพลาดที่จำเป็นต้องพิจารณาดำเนินการได้ทั้งหมดเป็นไปได้มักจะไม่กลไก−ต้องตรวจสอบอย่างเป็นทางการ

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

ในการออกกฎข้อผิดพลาดที่ต้อง
พิจารณาการประหารชีวิตเป็นไปได้ทั้งหมด
มักจะไม่เป็นไปได้โดยอัตโนมัติ!
- ต้องตรวจสอบอย่างเป็นทางการ

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

กฎออกข้อผิดพลาดต้อง

มักจะไม่พิจารณาการเป็นไปได้ทั้งหมดเป็นไปได้อย่างเครื่องจักร !
−ต้องการการตรวจสอบอย่างเป็นทางการ