计算机科学 ›› 2008, Vol. 35 ›› Issue (7): 241-243.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： 在LTL公式和自动机理论的基础上，给出了一种从LTL公式到自动机的转换算法。该算法先简化LTL公式，然后再对简化的LTL公式转换，形成选择Buchi自动机。此算法与其他算法相比，具有可扩展性的优点，可以在此基础上形成属性描述语言PSL向自动机的转换。
关键词: 模型检验 Buchi自动机 选择Buchi自动机 LTL公式
Abstract: On the basis of introduction to LTL formula and theory of automata, we present a algorithm which can transfer LTL formulae into Buchi automata. In this algorithm, the LTL formula is simplified first, then transferred into an alternating Buchi automaton,be
Key words: Model checking,Buchi automata, Alternating buchi automata, Linear temporal logic
. LTL公式到自动机的转换[J]. 计算机科学, 2008, 35(7): 241-243. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2008/V35/I7/241
Cited
首页