such as reachability and dead-end I

such as reachability and dead-end IFs.
The second type of verification criteria is concerned with the
local properties of a specific rule cluster such as missing
rules and inconsistent rules

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

reachability และ dead-end IFsชนิดที่สองของเกณฑ์การตรวจสอบเป็นเรื่องคุณสมบัติเฉพาะของกฎเฉพาะคลัสเตอร์เช่นขาดกฎและกฎที่สอดคล้องกัน

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

เช่นการเชื่อมและสิ้นตายไอเอฟเอ. ประเภทที่สองของเกณฑ์การตรวจสอบมีความกังวลเกี่ยวกับคุณสมบัติเฉพาะของกลุ่มกฎที่เฉพาะเจาะจงเช่นหายไปกฎระเบียบและกฎระเบียบที่ไม่สอดคล้องกัน

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

เช่น reachability และ IFS ทางตัน
ประเภทที่สองของเกณฑ์การตรวจสอบเกี่ยวข้องกับ
คุณสมบัติท้องถิ่นกลุ่มของกฎที่เฉพาะเจาะจงเช่นที่หายไป
กฎและกฎที่ไม่สอดคล้องกัน