These should be extended to support

These should be extended to support richer temporal logics, which are used to express the inferred invariants.

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

เหล่านี้ควรจะขยายการสนับสนุนขึ้นขมับ logics ซึ่งใช้ในการแสดง inferred invariants

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

เหล่านี้ควรได้รับการขยายเพื่อรองรับ Logics ชั่วยิ่งขึ้นซึ่งจะใช้ในการแสดงค่าคงที่สรุป

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

เหล่านี้ควรจะขยายการสนับสนุนรวย logics ชั่วคราวซึ่งจะใช้เพื่อแสดงสรุปผลยืนยง .