In this context, formal verificatio

In this context, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Model checking is an approach of formal verification.

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

ในบริบทนี้ ตรวจสอบอย่างเป็นทางคือการพิสูจน์ หรือ disproving ความถูกต้องของอัลกอริทึมตามต้นแบบระบบกับแบบหรือคุณสมบัติ การใช้วิธีทางคณิตศาสตร์บางอย่าง ตรวจสอบแบบจำลองเป็นวิธีการของการตรวจสอบอย่างเป็นทางการ

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

ในบริบทนี้การตรวจสอบอย่างเป็นทางการกระทำของการพิสูจน์หรือหักล้างความถูกต้องของขั้นตอนวิธีการจุดมุ่งหมายพื้นฐานของระบบที่เกี่ยวกับสเปคบางอย่างที่เป็นทางการหรือสถานที่ให้บริการโดยใช้วิธีการอย่างเป็นทางการของคณิตศาสตร์ ตรวจสอบรุ่นเป็นวิธีการของการตรวจสอบอย่างเป็นทางการ

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

ในบริบทนี้ ทางการตรวจสอบ พ.ร.บ. ทารุณพิสูจน์หรือความถูกต้องของขั้นตอนวิธีต้นแบบระบบไว้ด้วยความเคารพบางอย่างเป็นทางการสเปคหรือคุณสมบัติ โดยใช้วิธีการทางคณิตศาสตร์ การตรวจสอบรูปแบบเป็นวิธีที่เป็นทางการของการตรวจสอบ