temporal safety properties的意思|示意

美 / / 英 / /

时间安全特性

时序安全属性摘要: 程序的“时序安全属性(temporal safety properties)”是描述“某些坏的事情不会发生”的一类属性.通常,时序安全属性规定了一系列有序的事件,要求在程序中不能发生这些事件.