课题基金 / 基金详情

Efficient methods of operating omega-automata and its applications to specification verification

Efficient methods of operating omega-automata and its applications to specification verification
欧米伽自动机的有效操作方法及其在规范验证中的应用
批准号：
18K18028
负责人：
Shimakawa Masaya
金额：
$2.58万
依托单位：
Takushoku University (2019-2022)Tokyo Institute of Technology (2018)
依托单位国家：
日本
项目类别：
Grant-in-Aid for Early-Career Scientists
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2023-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-18K18028/
关键词：
ωオートマトン仕様検証ω-オートマトン

项目摘要

项目成果

Shimakawa Masaya的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(5)
专著(0)
科研奖励(0)
会议论文
Towards Interpretation of Abstract Instructions using Declarative Constraints in Temporal Logic
使用时序逻辑中的声明性约束来解释抽象指令
DOI： --
发表时间： 2020
期刊：
影响因子： --
作者： [Masaya Shimakawa, Kentaro Hayashi, Shigeki Hagihara and Naoki Yonezaki]
通讯作者： Shigeki Hagihara and Naoki Yonezaki
Verification of Verifiability of Voting Protocols by Strand Space Analysis
通过链空间分析验证投票协议的可验证性
DOI： --
发表时间： 2019
期刊：
影响因子： --
作者： [Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki]
通讯作者： Naoki Yonezaki
Towards Efficient Implementation of Realizability Checking for Reactive System Specifications
高效实施反应式系统规范的可实现性检查
DOI： 10.1145/3316615.3316634
发表时间： 2019
期刊： Proceedings of the 2019 8th International Conference on Software and Computer Applications (ICSCA2019)
影响因子： --
作者： [Masaya Shimakawa, Atsushi Ueno, Shohei Mochizuki, Takashi Tomita, Shigeki Hagihara and Naoki Yonezaki]
通讯作者： Shigeki Hagihara and Naoki Yonezaki
A Characterization on Necessary Conditions of Realizability for Reactive System Specifications
反应式系统规范可实现性必要条件的表征
DOI： 10.1587/transinf.2021fop0005
发表时间： 2022
期刊： IEICE Transactions on Information and Systems
影响因子： 0.7
作者： [TOMITA Takashi, HAGIHARA Shigeki, SHIMAKAWA Masaya, YONEZAKI Naoki]
通讯作者： YONEZAKI Naoki
共 6 条
    Efficient realizability verification of reactive system specifications without approximation
    • 批准号：
      15K15969
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $2.41万
    • 财政年份：
      2015
    • 负责人：
      Shimakawa Masaya
    • 依托单位：
      Tokyo Institute of Technology
    海外基金