, if the system takes in the follow

, if the system takes in the following state: 9_(PHY vacuum:location vacuum offAND cranetask1:location crane top) The UPPAAL verification engine returns: Property is satisfied

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

ถ้าใช้ระบบในสถานะต่อไปนี้: 9_ (PHY สุญญากาศ: ตำแหน่งสิว offAND cranetask1:location เครนด้านบน) UPPAAL ตรวจสอบเครื่องยนต์กลับ: คุณสมบัติความพึงพอใจ

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

ถ้าระบบที่ใช้อยู่ในสภาพดังต่อไปนี้: 9_ (สูญญากาศ PHY: สูญญากาศสถานที่ตั้งและเปิด cranetask1: สถานที่ตั้งบนเครน) ผลตอบแทนของเครื่องมือการตรวจสอบ UPPAAL: ที่ดินเป็นที่พอใจ

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

ถ้าระบบที่ใช้ในรัฐดังต่อไปนี้ : 9_ ( PHY สูญญากาศสูญญากาศ offand cranetask1 ที่ตั้ง : ที่ตั้งบนเครน ) uppaal ตรวจสอบเครื่องยนต์ส่งกลับ : ทรัพย์สินเป็นพอใจ