刷新
{{item.name}}会员
Using formal verification to establish the trustability of smart contracts and their platforms
使用形式化验证来建立智能合约及其平台的可信度
基本信息
- 批准号：18KT0098
- 负责人：
- 金额：$ 2.83万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2018
- 资助国家：日本
- 起止时间：2018-07-18 至 2022-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（2）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
コンセンサスアルゴリズムに対するラウンドモデルに基づいた簡易的なテスト・検証手法の提案
提出一种基于共识算法轮模型的简单测试/验证方法
- DOI：
- 发表时间：2022
- 期刊：
- 影响因子：0
- 作者：Ranagalage Manjula;Murayama Yuji;Morimoto Takehiro;土屋達弘;土屋達弘
- 通讯作者：土屋達弘
逐次プログラムのテストによる分散フォールトトレラントアルゴリズムのバグ検出
通过测试顺序程序来检测分布式容错算法中的错误
- DOI：
- 发表时间：2021
- 期刊：
- 影响因子：0
- 作者：吉村哲彦・千原敬也・鈴木保志・青木遥;坂井田瑠衣;西澤弘行・坂井田瑠衣・南保輔;吉村哲彦・鈴木保志・佐藤宣子;鈴木保志 編，有賀一広・岩岡正博・斎藤仁志・櫻井倫・鈴木秀典・鈴木保志・長谷川尚史・松本武・矢部和弘・吉岡拓如・吉村哲彦 著;Seiji Nashio;吉岡拓如・酒井秀夫・岩岡正博・松本武・山田容三・鈴木保志;坂井田瑠衣;土屋達弘
- 通讯作者：土屋達弘
SATソルバを利用した分散アルゴリズムの検証・テスト
使用 SAT 求解器验证和测试分布式算法
- DOI：
- 发表时间：2022
- 期刊：
- 影响因子：0
- 作者：吉村哲彦・千原敬也・鈴木保志・青木遥;坂井田瑠衣;西澤弘行・坂井田瑠衣・南保輔;吉村哲彦・鈴木保志・佐藤宣子;鈴木保志 編，有賀一広・岩岡正博・斎藤仁志・櫻井倫・鈴木秀典・鈴木保志・長谷川尚史・松本武・矢部和弘・吉岡拓如・吉村哲彦 著;Seiji Nashio;吉岡拓如・酒井秀夫・岩岡正博・松本武・山田容三・鈴木保志;坂井田瑠衣;土屋達弘;鈴木保志;坂井田瑠衣・坊農真弓;Rui Sakaida & Yasuharu Den;土屋達弘
- 通讯作者：土屋達弘
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Tsuchiya Tatsuhiro其他文献
出産意欲と出産行動-日韓パネルデータを用いた分析
分娩意向与分娩行为——日韩面板数据分析
- DOI：
- 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
Konishi Tatsuya;Kojima Hideharu;Nakagawa Hiroyuki;Tsuchiya Tatsuhiro;松浦司 - 通讯作者：
松浦司
複雑有向ネットワークのフロー構造
复杂有向网络的流结构
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
Nakagawa Hiroyuki;Matsui Shori;Tsuchiya Tatsuhiro;中村美知夫;家富洋 - 通讯作者：
家富洋
A Visualization of Specification Coverage Based on Document Similarity
基于文档相似度的规范覆盖率可视化
- DOI：
10.1109/icse-c.2017.117 - 发表时间：
2017 - 期刊：
- 影响因子：0
- 作者：
Nakagawa Hiroyuki;Matsui Shori;Tsuchiya Tatsuhiro - 通讯作者：
Tsuchiya Tatsuhiro
『サル学』とアフリカ研究の黎明期
“猴子学”和非洲研究的曙光
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
Nakagawa Hiroyuki;Matsui Shori;Tsuchiya Tatsuhiro;中村美知夫 - 通讯作者：
中村美知夫
Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry
规范覆盖范围可视化：行业Web应用程序开发案例研究
- DOI：
10.1109/issrew.2017.19 - 发表时间：
2017 - 期刊：
- 影响因子：0
- 作者：
Nakagawa Hiroyuki;Hasegawa Toshinobu;Matsui Shori;Tsuchiya Tatsuhiro - 通讯作者：
Tsuchiya Tatsuhiro
Tsuchiya Tatsuhiro的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Tsuchiya Tatsuhiro', 18)}}的其他基金
Practical combinatorial interaction testing with fault locating capability
具有故障定位能力的实用组合交互测试
- 批准号：
15K00098 - 财政年份：2015
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
相似海外基金
信頼できる統計のための形式検証技術
可靠统计的正式验证技术
- 批准号：
24K02924 - 财政年份：2024
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
漏洩耐性と緊密な安全性を兼ね揃えた耐量子認証鍵交換の創出とその形式検証
创建防泄漏且高度安全的量子验证认证密钥交换及其形式验证
- 批准号：
23K11095 - 财政年份：2023
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
オートマトン的技法を用いた、物理情報システムのための軽量形式検証の量的発展
使用自动机技术对物理信息系统进行轻量级形式验证的定量开发
- 批准号：
22K17873 - 财政年份：2022
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
議論の形式検証を実現する論理的手法の研究
论证形式验证的逻辑方法研究
- 批准号：
21K12028 - 财政年份：2021
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
IoT システムのための形式検証手法の深化
深化物联网系统的形式化验证方法
- 批准号：
19H04084 - 财政年份：2019
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
高水準GPGPUプログラミング言語処理系の形式検証
高级GPGPU编程语言处理系统的形式化验证
- 批准号：
18J11727 - 财政年份：2018
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Formal proof of an integrated hardware garbage collector
集成硬件垃圾收集器的正式证明
- 批准号：
1942419 - 财政年份：2017
- 资助金额：
$ 2.83万 - 项目类别：
Studentship
並列索引構造の形式検証
并行索引结构的形式化验证
- 批准号：
25880032 - 财政年份：2013
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Research Activity Start-up
無限小プログラミングによるハイブリッドシステムの形式検証手法
使用无穷小规划的混合系统形式化验证方法
- 批准号：
24800035 - 财政年份：2012
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Research Activity Start-up
広義の信号処理問題への形式検証法の適用
形式验证方法在广泛的信号处理问题中的应用
- 批准号：
10F00046 - 财政年份：2010
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for JSPS Fellows