some controllers provide tools for

some controllers provide tools for automatically checking formal properties and diagnosing problems when unexpected errors occur

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

บางตัวมีเครื่องมือสำหรับตรวจสอบคุณสมบัติทางโดยอัตโนมัติ และการวิเคราะห์ปัญหาเมื่อเกิดข้อผิดพลาดที่ไม่คาดคิด

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

ควบคุมบางอย่างให้โดยอัตโนมัติเครื่องมือสำหรับการตรวจสอบคุณสมบัติอย่างเป็นทางการและการวินิจฉัยปัญหาข้อผิดพลาดที่ไม่คาดคิดเมื่อเกิดขึ้น

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

บางตัวควบคุมให้เครื่องมือสำหรับตรวจสอบโดยอัตโนมัติและการวินิจฉัยปัญหาคุณสมบัติอย่างเป็นทางการเมื่อข้อผิดพลาดที่ไม่คาดคิดเกิดขึ้น