Then we use a finite-state model ch

Then we use a finite-state model checking tool, Murphi [8, 21], to check the models of the protocols
up to the invariants.

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

เราใช้แบบจำลองสถานะจำกัดตรวจสอบเครื่องมือ Murphi [8, 21], การตรวจสอบรุ่นของโพรโทคอลที่ถึง invariants

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

จากนั้นเราจะใช้แน่นอนรัฐเครื่องมือการตรวจสอบรูปแบบ Murphi [8, 21] เพื่อตรวจสอบรูปแบบของโปรโตคอล
ถึงค่าคงที่

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

เราก็ใช้วิธีแบบตรวจสอบสภาพเครื่องมือ murphi [ 8 , 21 ] เพื่อตรวจสอบรุ่นของโพรโทคอล
ถึงผลยืนยง .