are associated with terms via a set

are associated with terms via a set of structural operational semantics rules and model checking is used to determine whether the transition systems associated with those terms enjoy the property specified by the given formulae

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

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

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

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

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

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