Information gained during simulatio

Information gained during simulation (dynamic verification) is used to assign values to the parameters in order to reduce the formal model (static verification).

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

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

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

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

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

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