Realizability Decision and Program Synthesis for Reactive System Specification described by Temporal Logic
Realizability Decision and Program Synthesis for Reactive System Specification described by Temporal Logic
时态逻辑描述的反应式系统规范的可实现性决策和程序综合
批准号：
25330008
负责人：
YOSHIURA Noriaki
金额：
$3.08万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2017-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Harumichi Nishimura, Yuichi Fukaya and Noriaki Yoshiura]
通讯作者：
Yuichi Fukaya and Noriaki Yoshiura
分解証明法を利用したリアクティブシステム仕様の強充足可能性判定器の提案
使用分解证明方法提出反应式系统规范的强可满足性确定器
使用分解证明方法提出反应式系统规范的强可满足性确定器
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Nakajima T, Fujita H, Aratani S, Yagishita N, 中村 風太，吉浦 紀晃]
通讯作者：
中村 風太，吉浦 紀晃
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[Kunihiko Hiraishi, Koichi Kobayashi, Sunseong Choe, Naoshi Uchihira, Noriaki Yoshiura]
通讯作者：
Noriaki Yoshiura
Construction and Verificationof Mobile Ad Hoc Network Protocols, In Proceedings of 5th International Symposium on Cyberspace Safety and Security, Lecture Notes in Computer Science,
移动自组织网络协议的构建和验证，第五届网络空间安全国际研讨会论文集，计算机科学讲义，
移动自组织网络协议的构建和验证，第五届网络空间安全国际研讨会论文集，计算机科学讲义，
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
[Kunihiko Hiraishi, Koichi Kobayashi, Sunseong Choe, Naoshi Uchihira, Noriaki Yoshiura, Tetsuo Ida and Fadoua Ghourabi, Harumichi Nishimura, Natsuki Kimura and Noriaki Yoshiura]
通讯作者：
Natsuki Kimura and Noriaki Yoshiura
Computational Verification of Network Programs for Several OpenFlow Switches in Coq
Coq 中几种 OpenFlow 交换机的网络程序的计算验证
Coq 中几种 OpenFlow 交换机的网络程序的计算验证
DOI：
--
发表时间：
2016
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
[Hiroaki Date, Noriaki Yoshiura]
通讯作者：
Noriaki Yoshiura
共 14 条
海外基金