分離論理を用いたソフトウェア検証の発展

使用分离逻辑开发软件验证

基本信息

  • 批准号:
    21H03421
  • 负责人:
  • 金额:
    $ 10.82万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
  • 财政年份:
    2021
  • 资助国家:
    日本
  • 起止时间:
    2021-04-01 至 2024-03-31
  • 项目状态:
    已结题

项目摘要

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

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

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ 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 }}

龍田 真其他文献

フレーゲの計算機科学への影響
弗雷格对计算机科学的影响
  • DOI:
  • 发表时间:
    2005
  • 期刊:
  • 影响因子:
    0
  • 作者:
    中澤 巧爾;龍田 真;佐藤 雅彦
  • 通讯作者:
    佐藤 雅彦
Axiomatizing Higher Level Delimited Continuation
公理化更高层定界延拓
  • DOI:
  • 发表时间:
    2004
  • 期刊:
  • 影响因子:
    0
  • 作者:
    中澤 巧爾;龍田 真;佐藤 雅彦;Masahiko Sato;Yukiyoshi Kameyama
  • 通讯作者:
    Yukiyoshi Kameyama
選言を含む自然演繹古典論理の強正規化性
包括析取在内的自然演绎经典逻辑的强规范化
Axioms for Delimited Continuations in the CPS Hierarchy
CPS 层次结构中定界延续的公理
  • DOI:
  • 发表时间:
    2004
  • 期刊:
  • 影响因子:
    0
  • 作者:
    中澤 巧爾;龍田 真;佐藤 雅彦;Masahiko Sato;Yukiyoshi Kameyama;Yukiyoshi Kameyama
  • 通讯作者:
    Yukiyoshi Kameyama
Axioms for Control Operators in the CPS Hierarchy
CPS 层次结构中控制运算符的公理
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
    中澤 巧爾;龍田 真;佐藤 雅彦;Masahiko Sato;Yukiyoshi Kameyama;Yukiyoshi Kameyama;Yukiyoshi Kameyama
  • 通讯作者:
    Yukiyoshi Kameyama

龍田 真的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('龍田 真', 18)}}的其他基金

帰納的定義を用いたプログラム合成
使用归纳定义进行程序综合
  • 批准号:
    09780264
  • 财政年份:
    1997
  • 资助金额:
    $ 10.82万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
帰納的定義を用いたプログラム合成
使用归纳定义进行程序综合
  • 批准号:
    08780236
  • 财政年份:
    1996
  • 资助金额:
    $ 10.82万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
帰納的定義を用いたプログラム合成
使用归纳定义进行程序综合
  • 批准号:
    07780217
  • 财政年份:
    1995
  • 资助金额:
    $ 10.82万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
帰納的定義を用いたプログラム合成
使用归纳定义进行程序综合
  • 批准号:
    06780224
  • 财政年份:
    1994
  • 资助金额:
    $ 10.82万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
帰納的定義を用いたプログラム合成
使用归纳定义进行程序综合
  • 批准号:
    05780220
  • 财政年份:
    1993
  • 资助金额:
    $ 10.82万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
帰納的定義を用いたプログラム合成
使用归纳定义进行程序综合
  • 批准号:
    04780019
  • 财政年份:
    1992
  • 资助金额:
    $ 10.82万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)

相似海外基金

ソフトウェア追跡性とソフトウェア解析技術の融合
软件溯源与软件分析技术融合
  • 批准号:
    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 }}

知道了