课题基金 / 基金详情

Development of Coverage Metric for Formal Property Verification

Development of Coverage Metric for Formal Property Verification
形式属性验证的覆盖率度量的开发
批准号：
17K00089
负责人：
Matsumoto Takeshi
金额：
$2.41万
依托单位：
Ishikawa National College of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2021-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17K00089/
关键词：
プロパティ検証回路検証機能検証形式的検証検証カバレッジ

项目摘要

项目成果

Matsumoto Takeshi的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SAT問題への定式化によるブレッドボード回路の自動配線
通过 SAT 问题的公式自动接线面包板电路
DOI： --
发表时间： 2018
期刊：
影响因子： --
作者： [山本巧, 松本剛史]
通讯作者： 松本剛史
FPGAが搭載されたSoC上での画像処理の実装と評価
搭载FPGA的SoC上图像处理的实现与评估
DOI： --
发表时间： 2018
期刊：
影响因子： --
作者： [山元美奈, 松本剛史]
通讯作者： 松本剛史
プロパティ検証における検証カバレッジの定義と評価
定义和评估属性验证中的验证覆盖率
DOI： --
发表时间： 2020
期刊：
影响因子： --
作者： [河上悠輝, 松本剛史]
通讯作者： 松本剛史
学生実験用CPU回路のデバッグ支援に関する研究
学生实验CPU电路调试支持研究
DOI： --
发表时间： 2019
期刊：
影响因子： --
作者： [道畑萌絵, 松本剛史]
通讯作者： 松本剛史
How do branches and leaves affect the vibration of standing trees?
Photochemical energy conversion based on hydrogen radical reaction field on non-precious metal aminocalcogenolato complex
Turbulence and singularity of the Einstein equation with a negative cosmological constant studied from classical turbulence theory
  • 批准号：
    16K13850
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
  • 资助金额：
    $0.92万
  • 财政年份：
    2016
  • 负责人：
    Matsumoto Takeshi
  • 依托单位：
    Kyoto University
Experimental study on preventive effect of whole body vibration on metastatic progression of breast cancer to bone
  • 批准号：
    15K12509
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
  • 资助金额：
    $2.33万
  • 财政年份：
    2015
  • 负责人：
    Matsumoto Takeshi
  • 依托单位：
    The University of Tokushima