Using formal verification to establish the trustability of smart contracts and their platforms
Using formal verification to establish the trustability of smart contracts and their platforms
使用形式化验证来建立智能合约及其平台的可信度
批准号：
18KT0098
负责人：
Tsuchiya Tatsuhiro
金额：
$2.83万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-07-18 至 2022-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(2)
专著(0)
科研奖励(0)
会议论文
コンセンサスアルゴリズムに対するラウンドモデルに基づいた簡易的なテスト・検証手法の提案
提出一种基于共识算法轮模型的简单测试/验证方法
提出一种基于共识算法轮模型的简单测试/验证方法
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
[Ranagalage Manjula, Murayama Yuji, Morimoto Takehiro, 土屋達弘, 土屋達弘]
通讯作者：
土屋達弘
逐次プログラムのテストによる分散フォールトトレラントアルゴリズムのバグ検出
通过测试顺序程序来检测分布式容错算法中的错误
通过测试顺序程序来检测分布式容错算法中的错误
DOI：
--
发表时间：
2021
期刊：
信学技報
影响因子：
--
作者：
[吉村哲彦・千原敬也・鈴木保志・青木遥, 坂井田瑠衣, 西澤弘行・坂井田瑠衣・南保輔, 吉村哲彦・鈴木保志・佐藤宣子, 鈴木保志 編，有賀一広・岩岡正博・斎藤仁志・櫻井倫・鈴木秀典・鈴木保志・長谷川尚史・松本武・矢部和弘・吉岡拓如・吉村哲彦 著, Seiji Nashio, 吉岡拓如・酒井秀夫・岩岡正博・松本武・山田容三・鈴木保志, 坂井田瑠衣, 土屋達弘]
通讯作者：
土屋達弘
SATソルバを利用した分散アルゴリズムの検証・テスト
使用 SAT 求解器验证和测试分布式算法
使用 SAT 求解器验证和测试分布式算法
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
[吉村哲彦・千原敬也・鈴木保志・青木遥, 坂井田瑠衣, 西澤弘行・坂井田瑠衣・南保輔, 吉村哲彦・鈴木保志・佐藤宣子, 鈴木保志 編，有賀一広・岩岡正博・斎藤仁志・櫻井倫・鈴木秀典・鈴木保志・長谷川尚史・松本武・矢部和弘・吉岡拓如・吉村哲彦 著, Seiji Nashio, 吉岡拓如・酒井秀夫・岩岡正博・松本武・山田容三・鈴木保志, 坂井田瑠衣, 土屋達弘, 鈴木保志, 坂井田瑠衣・坊農真弓, Rui Sakaida & Yasuharu Den, 土屋達弘]
通讯作者：
土屋達弘
Practical combinatorial interaction testing with fault locating capability
-
批准号：15K00098
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$3.0万
-
财政年份：2015
-
负责人：Tsuchiya Tatsuhiro
-
依托单位：
海外基金
