We then execute thestate machine fo

We then execute the
state machine for model checking, to verify the protocol. A sample
graphical specification of such a protocol is shown in Figure 2.

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

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

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

จากนั้นเราจะดำเนินการ
เครื่องของรัฐสำหรับการตรวจสอบรูปแบบการตรวจสอบโปรโตคอล ตัวอย่าง
ข้อกำหนดกราฟิกเช่นโปรโตคอลจะแสดงในรูปที่ 2

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

จากนั้นเราจะดำเนินการตรวจสอบสภาพเครื่องจักร
รูปแบบเพื่อตรวจสอบโปรโตคอล ตัวอย่างการกำหนดเช่น
กราฟิก ( แสดงในรูปที่ 2