Writingverification models in a mod

Writing
verification models in a model-checker also allows us to compare the
number of states explored and the number of rules fired for different
protocols, as a rough gauge of the flexibility or complexity of the
different attestation protocols.

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

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

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

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

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

เขียนแบบตรวจสอบแบบ
สอบ ยังช่วยให้เราสามารถเปรียบเทียบตัวเลขของรัฐ
สํารวจและจำนวนของกฎไล่ออกสำหรับโปรโตคอลที่แตกต่างกัน
เป็นวัดคร่าวๆ ของความยืดหยุ่นหรือความซับซ้อนของ
โพรโทคอลการรับรองที่แตกต่างกัน