The techniques in this section cove

The techniques in this section cover a wide range of more or less sophisticated checks on a specification that can be automated by tools.

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

เทคนิคในส่วนนี้ครอบคลุมหลากหลายของการตรวจสอบมากขึ้นหรือความซับซ้อนน้อยลงในสเปคที่ได้โดยอัตโนมัติโดยใช้เครื่องมือ

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

เทคนิคในส่วนนี้ครอบคลุมหลากหลายซับซ้อนมากขึ้นหรือน้อยลงตรวจสอบในข้อมูลจำเพาะที่สามารถอัตโนมัติ โดยเครื่องมือ

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

เทคนิคที่ในส่วนนี้ครอบคลุมถึงทางเลือกที่หลากหลายของตรวจสอบเพิ่มเติมหรือที่ซับซ้อนน้อยกว่าในข้อมูลจำเพาะที่สามารถทำงานโดยอัตโนมัติได้โดยเครื่องมือ