This technique is increasingly used

This technique is increasingly used to verify that a formally specified model satisfies some desired property

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

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

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

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

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

โดยการใช้เทคนิคนี้ใช้ในการตรวจสอบว่ารุ่นอย่างเป็นทางการที่ระบุไว้ตามจุดประสงค์ที่ต้องการที่พักบางมากยิ่งขึ้น