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

欧米伽自动机的有效操作方法及其在规范验证中的应用

基本信息

项目摘要

项目成果

期刊论文数量（5）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Towards Interpretation of Abstract Instructions using Declarative Constraints in Temporal Logic
使用时序逻辑中的声明性约束来解释抽象指令
  • DOI：
  • 发表时间：
    2020
  • 期刊：
  • 影响因子：
    0
  • 作者：
    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
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Shigeki Hagihara;Masaya Shimakawa;Naoki Yonezaki
  • 通讯作者：
    Naoki Yonezaki
Towards Efficient Implementation of Realizability Checking for Reactive System Specifications
高效实施反应式系统规范的可实现性检查
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
Efficient Realizability Checking by Modularization of LTL Specifications
通过零担规范模块化进行高效的可实现性检查
  • DOI：
    10.1093/comjnl/bxab116
  • 发表时间：
    2021
  • 期刊：
    The Computer Journal
  • 影响因子：
    0
  • 作者：
    Ito Sohei;Osari Kenji;Shimakawa Masaya;Hagihara Shigeki;Yonezaki Naoki
  • 通讯作者：
    Yonezaki Naoki
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Shimakawa Masaya其他文献

Shimakawa Masaya的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Shimakawa Masaya', 18)}}的其他基金

Efficient realizability verification of reactive system specifications without approximation
无需近似即可有效验证反应式系统规范的可实现性
  • 批准号：
    15K15969
  • 财政年份：
    2015
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)

相似海外基金

証明スコア法に基づく革新的仕様検証技術の研究
基于证明评分法的创新规范验证技术研究
  • 批准号：
    23240004
  • 财政年份：
    2011
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Scientific Research (A)
実時間システムの形式仕様・検証のための新しい論理的方法論
实时系统的形式化规范和验证的新逻辑方法
  • 批准号：
    11878054
  • 财政年份：
    1999
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Exploratory Research
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了