课题基金 / 基金详情

Higher-Order Model Checking and its Applications

Higher-Order Model Checking and its Applications
高阶模型检验及其应用
批准号：
23220001
负责人：
Kobayashi Naoki
金额：
$88.03万
依托单位：
The University of Tokyo (2012-2015)Tohoku University (2011)
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (S)
财政年份：
2011
资助国家：
日本
项目状态：
已结题
起止时间：
2011-05-31 至 2016-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23220001/
关键词：
高階モデル検査プログラム検証データ圧縮高階文法型システム関数型プログラム関数型言語高階再帰スキーム型理論

项目摘要

项目成果

Kobayashi Naoki的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Predicate abstraction and CEGAR for higher-order model checking
DOI： 10.1145/1993498.1993525
发表时间： 2011-06
期刊：
影响因子： --
作者： [N. Kobayashi;Ryosuke Sato;Hiroshi Unno]
通讯作者： N. Kobayashi;Ryosuke Sato;Hiroshi Unno
Pumping by Typing
通过打字进行泵送
DOI： 10.1109/lics.2013.46
发表时间： 2013
期刊： 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
影响因子： --
作者： [趙 昌熙, 村上輝夫, 澤江義則, 中村正樹，ガイナ ダニエル ミルチェア，緒方和博，二木厚吉, Naoki Kobayashi]
通讯作者： Naoki Kobayashi
Inferring Simple Solutions to Recursion-free Horn Clauses via Sampling
通过采样推断无递归 Horn 子句的简单解
DOI： 10.1007/978-3-662-46681-0_10
发表时间： 2015
期刊： Proceedings of TACAS 2015, LNCS
影响因子： --
作者： [Hiroshi Unno, Tachio Terauchi.]
通讯作者： Tachio Terauchi.
Saturation-Based Model Checking of Higher-Order Recursion Schemes
高阶递归方案的基于饱和的模型检查
DOI： 10.4230/lipics.csl.2013.129
发表时间： 2013
期刊： Proceedings of CSL 2013, LIPIcs
影响因子： --
作者： [Christopher H. Broadbent, Naoki Kobayashi]
通讯作者： Naoki Kobayashi
共 34 条
    Study on the molecular mechanisms of emergence of novel mycotoxin-producing fungi due to external stress factor
    • 批准号：
      19K05870
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.83万
    • 财政年份：
      2019
    • 负责人：
      Kobayashi Naoki
    • 依托单位：
      Azabu University
    Activin B signaling controls energy homeostasis
    Refinement and Extension of Higher-Order Model Checking
    • 批准号：
      15H05706
    • 项目类别：
      Grant-in-Aid for Scientific Research (S)
    • 资助金额：
      $124.13万
    • 财政年份：
      2015
    • 负责人：
      Kobayashi Naoki
    • 依托单位：
      The University of Tokyo
    Connection between the Cultural Spheres of Ritsu and Zen in Narrative and Folk Literature
    • 批准号：
      15K02219
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.25万
    • 财政年份：
      2015
    • 负责人：
      Kobayashi Naoki
    • 依托单位：
      Osaka City University
    海外基金