首页> 中文期刊> 《哈尔滨师范大学自然科学学报》 >基于LTL的交通灯系统形式化描述方法

基于LTL的交通灯系统形式化描述方法

开具论文收录证明 >>

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

文献代查 >>

团队文献服务 >>

页面导航

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

摘要

阐述了线性时序逻辑语法及语义,采用线性时序逻辑描述软件系统动态语义,并对行人过街交通灯系统进行形式化描述,证明分析该系统的性质,为系统做进一步分析和验证提供了基础.

著录项

来源
《哈尔滨师范大学自然科学学报》 |2009年第6期|89-92|共4页
作者
张丹; 伦立军;
展开▼
作者单位

哈尔滨师范大学;

哈尔滨师范大学;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
线性时序逻辑 ; UML ; 顺序图 ; 交通灯 ;

相似文献

中文文献
外文文献
专利

1. 基于机会发现逻辑Lk的多智能体系统形式化描述方法 [J] . 宋宝卫 ,孙占锋 . 科学技术与工程 . 2013 ,第007期
2. 基于wife信号的交通灯信号控制方法及系统 [J] . 张任翔 . 消费电子 . 2013 ,第020期
3. 基于LTL的UML状态图测试用例生成方法 [J] . 高莉 . 安徽建筑工业学院学报（自然科学版） . 2015 ,第002期
4. 基于LTL的UML状态图测试用例生成方法 [J] . 高莉 . 安徽建筑大学学报：自然科学版 . 2015 ,第002期
5. 基于SPIN的LTL属性分解方法研究 [J] . 贺志宏 ,曾庆凯 . 计算机应用与软件 . 2014 ,第007期
6. 基于Petri网的软件体系结构编织形式化描述方法 [C] . Hou Jin-Kui ,侯金奎 ,Yang Chun-Hua . 第十四届全国Petri 网理论与应用学术年会 . 2013
7. 基于LTL三值语义的软件运行时验证方法研究 [A] . 罗年垒 . 2017

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号