课题基金 / 基金详情

Evolutionary development of a model checker compiler using verification technology and non-standard type systems

Evolutionary development of a model checker compiler using verification technology and non-standard type systems
使用验证技术和非标准类型系统的模型检查器编译器的进化开发
批准号：
24650016
负责人：
UEDA Kazunori
金额：
$2.41万
依托单位：
Waseda University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2015-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-24650016/
关键词：
モデル検査コンパイラ検証型体系ソフトウェア進化

项目摘要

项目成果

UEDA Kazunori的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(15)
专著(0)
科研奖励(0)
会议论文
Concurrent Objects and Beyond (COB 2012), G. Agha et al. (eds.) （査読有）
并发对象及超越 (COB 2012)，G. Agha 等人（编辑）（同行评审）
DOI： --
发表时间： 2013
期刊：
影响因子： --
作者： [信夫 裕貴, 上田 和紀, Kazunori Ueda et al., Kazunori Ueda, Kazunori Ueda]
通讯作者： Kazunori Ueda
LMNtalにおけるグラフ書換え操作のCoqによる形式化
使用 Coq 形式化 LMNtal 中的图重写操作
DOI： --
发表时间：
期刊：
影响因子： --
作者： [Alimujiang Yasen, 上田和紀, 信夫裕貴，田辺良則，上田和紀]
通讯作者： 信夫裕貴，田辺良則，上田和紀
Towards a Substrate Framework of Computation, in Concurrent Objects and Beyond (COB 2012)
迈向并发对象及其他计算的底层框架 (COB 2012)
DOI： --
发表时间： 2014
期刊：
影响因子： --
作者： [信夫 裕貴, 上田 和紀, Kazunori Ueda et al., Kazunori Ueda]
通讯作者： Kazunori Ueda
Concurrent Objects and Beyond, Gul Agha et al. (eds.), Lecture Notes in Computer Science 8665
并发对象及其他，Gul Agha 等人。
DOI： --
发表时间： 2014
期刊：
影响因子： --
作者： [信夫 裕貴, 上田 和紀, Kazunori Ueda et al.]
通讯作者： Kazunori Ueda et al.
共 15 条
    Research of peer-to-peer network application based on multi-overlay networks
    • 批准号：
      16K00137
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $1.08万
    • 财政年份：
      2016
    • 负责人：
      UEDA Kazunori
    • 依托单位：
      Kochi University of Technology
    Implementations of high-level modeling languages that integrate high-performance verifiers
    • 批准号：
      23300011
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $12.9万
    • 财政年份：
      2011
    • 负责人：
      UEDA Kazunori
    • 依托单位：
      Waseda University
    High-level hybrid constraint modeling language and its reliable implementation
    • 批准号：
      20300013
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $9.73万
    • 财政年份：
      2008
    • 负责人：
      UEDA Kazunori
    • 依托单位：
      Waseda University
    Putting Scalable and Unifying Programming Language Model LMNtal into Practical Use
    • 批准号：
      16300009
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $5.31万
    • 财政年份：
      2004
    • 负责人：
      UEDA Kazunori
    • 依托单位：
      Waseda University
    海外基金