, where amodel of the functionality

, where a
model of the functionality of the system is inferred from the
code.

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

ที่
รูปแบบของการทำงานของระบบที่มีการสรุปจาก
รหัส

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

ที่เป็น
รูปแบบของการทำงานของระบบเป็นเอเชีย
รหัส

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

ที่
ซึ่งจะช่วยรุ่นของการทำงานของระบบที่เป็นจริงแต่อย่างใดจาก
รหัสที่