课题基金 / 基金详情

Verifying Software Systems using Reasoning about Programs Handling Infinite Structures

Verifying Software Systems using Reasoning about Programs Handling Infinite Structures
使用处理无限结构的程序推理来验证软件系统
批准号：
15K00305
负责人：
SEKI Hirohisa
金额：
$2.66万
依托单位：
Nagoya Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2018-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15K00305/
关键词：
計算論理推論アルゴリズムプログラム推論システム検証探索・論理・推論アルゴリズム

项目摘要

项目成果

SEKI Hirohisa的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Towards Efficient Mining of Closed Patterns from Multi-Relational Data
从多关系数据中高效挖掘封闭模式
DOI： --
发表时间： 2015
期刊：
影响因子： --
作者： [Masahiro Nagao, Hirohisa Seki]
通讯作者： Hirohisa Seki
An FCA Approach to Mining　Quantitative Association Rules from Multi-Relational Data
多关系数据挖掘定量关联规则的FCA方法
DOI： --
发表时间： 2018
期刊： International Journal of Computational Intelligence Studies
影响因子： --
作者： [Masahiro Nagao, Hirohisa Seki]
通讯作者： Hirohisa Seki
Towards Efficient Mining of Non-Redundant Recurrent Rules from a Sequence Database
从序列数据库中高效挖掘非冗余循环规则
DOI： --
发表时间： 2017
期刊：
影响因子： --
作者： [SeungYong Yoon, H. Seki]
通讯作者： H. Seki
On Dual Programs in Co-Logic Programming
DOI： 10.1007/978-3-319-27436-2_2
发表时间： 2015-07
期刊：
影响因子： --
作者： [H. Seki]
通讯作者： H. Seki
共 12 条
    Study on Computational Logic-based Methodologies for Building Secure Systems
    • 批准号：
      21500136
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.66万
    • 财政年份：
      2009
    • 负责人：
      SEKI Hirohisa
    • 依托单位：
      Nagoya Institute of Technology
    海外基金