We thenuse the model checker to ver

We then
use the model checker to verify that
the specification of the system in its
environment implements the chosen
correctness properties, despite any
combination or interleaving of events
in the operating environment

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

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

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

จากนั้นเราจะใช้รูปแบบการตรวจสอบเพื่อตรวจสอบว่าคุณสมบัติของระบบในของสภาพแวดล้อมที่นำไปปฏิบัติได้รับการแต่งตั้งคุณสมบัติถูกต้องแม้จะมีใดๆรวมกันหรือ interleaving ของเหตุการณ์ที่เกิดขึ้นในสภาพแวดล้อมการทำงาน

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

ใช้แบบเราแล้ว

เพื่อตรวจสอบว่าข้อกำหนดของระบบในสภาพแวดล้อมของมัน

ใช้เลือกความถูกต้อง คุณสมบัติ แม้ใด ๆหรือเหตุการณ์

รวมกัน interleaving ในสิ่งแวดล้อมปฏิบัติการ