The properties of the reduced model

The properties of the reduced model can be verified. In addition, diagnostic traces in case of negative proofs show that the modifications of the components models do not lead to erroneous results; negative proofs are obtained only for realistic behaviours. Then, the method that is proposed to construct reduced models yields effective models which can be used to verify timed properties and provide meaningful results.

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

คุณสมบัติของรูปแบบที่ลดลงสามารถตรวจสอบได้ นอกจากร่องรอยการวินิจฉัยในกรณีที่มีหลักฐานเชิงลบแสดงให้เห็นว่าการปรับเปลี่ยนในองค์ประกอบรูปแบบไม่ได้นำไปสู่​​ผลลัพธ์ที่ผิดพลาด; พิสูจน์เชิงลบจะได้รับเฉพาะพฤติกรรมที่เป็นจริง แล้ววิธีการที่จะนำเสนอเพื่อสร้างแบบจำลองที่ลดลงทำให้รูปแบบที่มีประสิทธิภาพซึ่งสามารถใช้ในการตรวจสอบคุณสมบัติของเวลาและให้ผลลัพธ์ที่มีความหมาย

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

สามารถตรวจสอบคุณสมบัติของแบบจำลองลดลง นอกจากนี้ สืบค้นกลับการวินิจฉัยในกรณีหลักฐานค่าลบแสดงว่า ปรับรุ่นคอมโพเนนต์ไม่ทำให้ผลลัพธ์ผิดพลาด ลบหลักฐานจะได้รับสำหรับพฤติกรรมที่เป็นจริงเท่านั้น แล้ว วิธีการที่จะนำเสนอการสร้างแบบจำลองลดลงทำให้แบบจำลองมีประสิทธิภาพซึ่งสามารถใช้ในการตรวจสอบคุณสมบัติการหมดเวลา และให้ผลลัพธ์ที่มีความหมาย

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

คุณสมบัติของรุ่นลดลงสามารถตรวจสอบได้ ในการเพิ่มลายวงจรขาดการวินิจฉัยในกรณีที่มีข้อพิสูจน์อันเป็นลบแสดงให้เห็นว่าการแก้ไขของรุ่นคอมโพเนนต์ที่ไม่ได้นำไปสู่ผลผิดพลาดปรู๊ฟลบได้เฉพาะสำหรับพฤติกรรมที่ดูสมจริง แล้ววิธีการที่จะเสนอให้สร้างรุ่นลดลงอัตราผลตอบแทนรุ่นที่สามารถใช้ในการตรวจสอบคุณสมบัติและตั้งเวลาให้ผลการค้นหานี้มีความหมาย