Software verification system by separation logic

分离逻辑的软件验证系统

基本信息

  • 批准号：
    18H03226
  • 负责人：
    Tatsuta Makoto
  • 金额：
    $ 10.82万
  • 依托单位：
    National Institute of Informatics
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 财政年份：
    2018
  • 资助国家：
    日本
  • 起止时间：
    2018-04-01 至 2021-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
トリノ大学(イタリア)
都灵大学（意大利）
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
Cut-elimination in cyclic proof system for first-order logic
一阶逻辑循环证明系统中的割消法
  • DOI：
  • 发表时间：
    2021
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Koji Nakazawa;Makoto Tatsuta;Daisuke Kimura;and Mitsuru Yamamura;Stefano Berardi and Makoto Tatsuta;Makoto Tatsuta;Yukihiro Masuoka and Makoto Tatsuta
  • 通讯作者：
    Yukihiro Masuoka and Makoto Tatsuta
Function Pointer Eliminator for C Programs
  • DOI：
    10.1007/978-3-030-89051-3_2
  • 发表时间：
    2021
  • 期刊：
  • 影响因子：
    0
  • 作者：
    D. Kimura;Mahmudul Faisal Al Ameen;M. Tatsuta;Koji Nakazawa
  • 通讯作者：
    D. Kimura;Mahmudul Faisal Al Ameen;M. Tatsuta;Koji Nakazawa
Completeness of Cyclic Proofs for Symbolic Heaps with Cone Inductive Definitions
具有锥体归纳定义的符号堆循环证明的完整性
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    益岡幸弘;龍田真;Makoto Tatsuta
  • 通讯作者：
    Makoto Tatsuta
帰納的定義付き一階述語論理の循環証明体系におけるカット除去
带归纳定义的一阶谓词逻辑循环证明系统的割除
  • DOI：
  • 发表时间：
    2021
  • 期刊：
  • 影响因子：
    0
  • 作者：
    益岡幸弘;龍田真
  • 通讯作者：
    龍田真
{{ 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 }}

Tatsuta Makoto其他文献

Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions
具有归纳定义的符号堆循环证明的完整性
  • DOI：
    10.1007/978-3-030-34175-6_19
  • 发表时间：
    2019
  • 期刊：
    LNCS (APLAS 2019)
  • 影响因子：
    0
  • 作者：
    Tatsuta Makoto;Nakazawa Koji;Kimura Daisuke
  • 通讯作者：
    Kimura Daisuke

Tatsuta Makoto的其他文献

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

{{ truncateString('Tatsuta Makoto', 18)}}的其他基金

Theory of software verification by separation logic
分离逻辑的软件验证理论
  • 批准号：
    15K00027
  • 财政年份：
    2015
  • 资助金额：
    $ 10.82万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)

相似海外基金

ソフトウェア追跡性とソフトウェア解析技術の融合
软件溯源与软件分析技术融合
  • 批准号：
    19K11897
  • 财政年份：
    2019
  • 资助金额：
    $ 10.82万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
設計誤り検出のためのモデル検査を用いたソフトウェア解析システムの開発
使用模型检查进行设计错误检测的软件分析系统的开发
  • 批准号：
    14019055
  • 财政年份：
    2002
  • 资助金额：
    $ 10.82万
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas
書換え技術に基づくソフトウェア解析
基于重写技术的软件分析
  • 批准号：
    13224006
  • 财政年份：
    2001
  • 资助金额：
    $ 10.82万
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas (C)
設計誤り検出のためのモデル検査を用いたソフトウェア解析システムの開発
使用模型检查进行设计错误检测的软件分析系统的开发
  • 批准号：
    13224060
  • 财政年份：
    2001
  • 资助金额：
    $ 10.82万
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas (C)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了