基于行为时序逻辑系统性质研究

摘要：

文章研究行为时序逻辑（TLA）中行为（Action）的性质及行为之间的关系，提出“行为活性”和“行为安全性”概念，从行为的视角重新给出系统活性和安全性的定义，使得安全性和活性定义更加直观和容易理解，并证明了新老定义的等价性。

关键词：行为时序逻辑、活性、安全性、安全行为

分类号：TP301.2(计算技术、计算机技术)

资助基金：贵州省自然科学技术基金黔科合 J 字[2012]2096号;贵州财经大学人才引进科研基金。

在线出版日期：2014-12-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：17-19