首页> 中文期刊> 《计算机科学》 >LTL公式到自动机的转换

LTL公式到自动机的转换

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

在LTL公式和自动机理论的基础上,给出了一种从LTL公式到自动机的转换算法.该算法先简化LTL公式,然后再对简化的LTL公式转换,形成选择Buchi自动机.此算法与其他算法相比,具有可扩展性的优点,可以在此基础上形成属性描述语言PSL向自动机的转换.

著录项

来源
《计算机科学》 |2008年第7期|241-243276|共4页
作者
郭建; 边明明; 韩俊岗;
展开▼
作者单位

西安电子科技大学微电子学院;

西安710071;

西安邮电学院计算机系;

西安710061;

西安邮电学院计算机系;

西安710061;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
模型检验; Buchi自动机; 选择Buchi自动机; LTL公式;

相似文献

中文文献
外文文献
专利

1. 基于标记Büchi自动机的时态描述逻辑ALC-LTL模型检测 [J] . 朱创营 ,常亮 ,徐周波 . 计算机科学 . 2013,第010期
2. 一种基于Büchi自动机的LTL程序模型检测方法 [J] . 罗清胜 . 计算机与现代化 . 2010,第008期
3. 时间自动机的LTL性质模型检测研究 [J] . 彭云全 ,魏绪凯 ,李广元 . 计算机仿真 . 2009,第005期
4. 一种基于离散时间自动机的LTL性质检测工具 [J] . 张文亮 ,彭云全 . 计算机仿真 . 2008,第004期
5. 一种基于自动机理论的LTL检验符号优化方法 [J] . 钱俊彦 ,赵岭忠 ,古天龙 . 计算机工程 . 2005,第023期
6. 空间直角坐标与高斯平面直角坐标转换时精度转换公式及其应用 [C] . 赵长胜 . ’９５全国矿山测量学术会议 . 1995
7. LTLNFBA:LTL公式到Büchi自动机的转换 [A] . 宋俊 . 2014

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号