Use of formal methods□ Formal metho

Use of formal methods
□ Formal methods have limited practical aDDlicability
□ Their Drincipal benefits are in reducinq the number1 of errors in svstems so their main area of applicability is critical systems
□ In this area, the use of formal methods is most likely to be cost-effective

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

ใช้วิธีการทางวิธีศึกษา□มีจำกัดปฏิบัติ aDDlicability□ประโยชน์ Drincipal ของพวกเขาอยู่ใน reducinq number1 ข้อผิดพลาดใน svstems ดังนั้นการตั้งหลักของความเกี่ยวข้องของ ระบบที่สำคัญ□นี่ ใช้วิธีการอย่างเป็นทางการคือมักจะคุ้มค่า

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

การใช้วิธีการทางการ
□วิธีการอย่างเป็นทางการได้รับการ จำกัด การปฏิบัติ aDDlicability
□ประโยชน์ Drincipal ของพวกเขาอยู่ใน reducinq number1 ของข้อผิดพลาดใน svstems ดังนั้นพื้นที่หลักของพวกเขาของการบังคับใช้เป็นระบบที่สำคัญ
□ในบริเวณนี้ใช้วิธีการอย่างเป็นทางการมีแนวโน้มมากที่สุดที่จะเป็นค่าใช้จ่าย มีประสิทธิภาพ

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

ใช้วิธีการ วิธีการ □อย่างเป็นทางการอย่างเป็นทางการ

addlicability จำกัดในทางปฏิบัติ□ประโยชน์ drincipal ของพวกเขาอยู่ใน reducinq ทางด้ svstems ดังนั้นข้อผิดพลาดในพื้นที่หลักของการบังคับใช้เป็น□ระบบ
ที่สำคัญในพื้นที่นี้ ใช้วิธีการทางการมีแนวโน้มที่จะถูกคุ้มค่า