Automatedfinite-state verification

Automated
finite-state verification is a robust field with many tools available (see
related works in Section 8 for a sample list).

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

อัตโนมัติตรวจสอบสถานะจำกัดมีประสิทธิภาพเขตข้อมูลที่ มีเครื่องมือมากมาย (ดูที่เกี่ยวข้องกับงานในส่วน 8 รายการตัวอย่าง)

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

อัตโนมัติ
การตรวจสอบ จำกัด รัฐเป็นเขตที่แข็งแกร่งด้วยเครื่องมือต่างๆที่มีอยู่ (ดู
งานที่เกี่ยวข้องในมาตรา 8 สำหรับตัวอย่างรายการ)

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

สถานะการตรวจสอบอัตโนมัติ
จำกัด เป็นทุ่งนา มีเครื่องมือมากมายที่พร้อมใช้งาน ( ดู
ที่เกี่ยวข้องทำงานในมาตรา 8 รายการตัวอย่าง )