For more complex designs, formal ve

For more complex designs, formal verification using model checking often suffers from the state space explosion problem.

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

สำหรับออกแบบซับซ้อนมากขึ้น การตรวจสอบอย่างเป็นทางการใช้การตรวจสอบแบบจำลองมัก suffers จากปัญหาการขยายพื้นที่ของรัฐ

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

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

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

สำหรับการออกแบบที่ซับซ้อนมากขึ้น , การตรวจสอบอย่างเป็นทางการ โดยใช้รูปแบบการตรวจสอบมักจะทนทุกข์ทรมานจากสภาพพื้นที่เกิดปัญหา