Software verification system by separation logic
Software verification system by separation logic
分离逻辑的软件验证系统
批准号：
18H03226
负责人：
Tatsuta Makoto
金额：
$10.82万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2021-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
トリノ大学(イタリア)
都灵大学（意大利）
都灵大学（意大利）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Cut-elimination in cyclic proof system for first-order logic
一阶逻辑循环证明系统中的割消法
一阶逻辑循环证明系统中的割消法
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
[Koji Nakazawa, Makoto Tatsuta, Daisuke Kimura, and Mitsuru Yamamura, Stefano Berardi and Makoto Tatsuta, Makoto Tatsuta, Yukihiro Masuoka and Makoto Tatsuta]
通讯作者：
Yukihiro Masuoka and Makoto Tatsuta
DOI：
10.1007/978-3-030-89051-3_2
发表时间：
2021
期刊：
影响因子：
--
作者：
[D. Kimura;Mahmudul Faisal Al Ameen;M. Tatsuta;Koji Nakazawa]
通讯作者：
D. Kimura;Mahmudul Faisal Al Ameen;M. Tatsuta;Koji Nakazawa
Completeness of Cyclic Proofs for Symbolic Heaps with Cone Inductive Definitions
具有锥体归纳定义的符号堆循环证明的完整性
具有锥体归纳定义的符号堆循环证明的完整性
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[益岡幸弘, 龍田真, Makoto Tatsuta]
通讯作者：
Makoto Tatsuta
帰納的定義付き一階述語論理の循環証明体系におけるカット除去
带归纳定义的一阶谓词逻辑循环证明系统的割除
带归纳定义的一阶谓词逻辑循环证明系统的割除
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
[益岡幸弘, 龍田真]
通讯作者：
龍田真
共 11 条
Theory of software verification by separation logic
-
批准号：15K00027
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$3.0万
-
财政年份：2015
-
负责人：Tatsuta Makoto
-
依托单位：
海外基金