课题基金 / 基金详情

Software model checking methods for cloud computing middleware

Software model checking methods for cloud computing middleware
云计算中间件软件模型检验方法
批准号：
23240003
负责人：
Hagiya Masami
金额：
$30.95万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (A)
财政年份：
2011
资助国家：
日本
项目状态：
已结题
起止时间：
2011-04-01 至 2016-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-23240003/
关键词：
仕様記述・仕様検証ソフトウェアモデル検査クラウドコンピューティング

项目摘要

项目成果

Hagiya Masami的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(69)
专著(0)
科研奖励(0)
会议论文
Computational soundness of indistinguishability properties without computable parsing
无需可计算解析的不可区分属性的计算可靠性
DOI： 10.1007/978-3-642-29101-2_5
发表时间： 2012
期刊： The 8th International Conference on Information Security Practice and Experience (ISPEC 2012), Lecture Notes in Computer Science
影响因子： --
作者： [Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, and Hideki Sakurada]
通讯作者： and Hideki Sakurada
ソフトウェアモデル検査におけるLTL検証の探索範囲限定手法による効率化
软件模型检查中通过限制LTL验证的搜索范围来提高效率
DOI： --
发表时间： 2014
期刊：
影响因子： --
作者： [前岡 淳, 田辺 良則, 石川 冬樹]
通讯作者： 石川 冬樹
The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis
追求精度：静态分析中数据竞争检测的分层方法
DOI： --
发表时间： 2013
期刊：
影响因子： --
作者： [J. Mund, R. Huuck, A. Fehnker, C. Artho]
通讯作者： C. Artho
With an Open Mind: How to Write Good Models
保持开放的心态：如何编写好的模型
DOI： --
发表时间： 2013
期刊：
影响因子： --
作者： [C. Artho, K. Hayamizu, R. Ramler, Y. Yamagata]
通讯作者： Y. Yamagata
共 43 条
    Automatic generation of programming questions by symbolic execution
    • 批准号：
      20K12106
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.75万
    • 财政年份：
      2020
    • 负责人：
      Hagiya Masami
    • 依托单位：
      The University of Tokyo
    Learning by Molecular Robot Swarm
    • 批准号：
      17K19961
    • 项目类别：
      Grant-in-Aid for Challenging Research (Exploratory)
    • 资助金额：
      $3.99万
    • 财政年份：
      2017
    • 负责人：
      Hagiya Masami
    • 依托单位：
      The University of Tokyo
    Testing and model checking of IoT protocols
    • 批准号：
      17H01719
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $11.81万
    • 财政年份：
      2017
    • 负责人：
      Hagiya Masami
    • 依托单位：
      The University of Tokyo
    海外基金