2010年4月27日

时序安全属性检测(一)

摘要： 程序的“时序安全属性(temporal safety properties)”是描述“某些坏的事情不会发生”的一类属性.通常,时序安全属性规定了一系列有序的事件,要求在程序中不能发生这些事件.在程序中，它表现为一系列先后有序的操作(通常是和安全相关的操作，至少有一个是这样的，不然不会发生安全问题)。 阅读全文

posted @ 2010-04-27 18:32 小交响曲 阅读(359) 评论(0) 推荐(0)

导航