Towards formal verification of big data processing
Towards formal verification of big data processing
迈向大数据处理的形式化验证
批准号：
15K12013
负责人：
AFFELDT Reynald
金额：
$1.33万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2018-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(14)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Coqによる簡潔データ構造のライブラリに向けての今後の課題
使用 Coq 构建简洁数据结构库的未来挑战
使用 Coq 构建简洁数据结构库的未来挑战
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[田中 哲, Reynald Affeldt, Jacques Garrigue]
通讯作者：
Jacques Garrigue
Ruby Extension Library Verified using Coq Proof-assistant
使用 Coq Proof-assistant 验证的 Ruby 扩展库
使用 Coq Proof-assistant 验证的 Ruby 扩展库
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[田中 哲, Reynald Affeldt, Jacques Garrigue, 田中哲]
通讯作者：
田中哲
Formal Verification for Succinct Data Structures
简洁数据结构的形式化验证
简洁数据结构的形式化验证
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
形式的な情報・符号理論のライブラリに向けて
迈向正式的信息/编码理论库
迈向正式的信息/编码理论库
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa]
通讯作者：
Takafumi Saikawa
Coq からの C プログラム生成
从 Coq 生成 C 程序
从 Coq 生成 C 程序
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[田中 哲, Reynald Affeldt, Jacques Garrigue, 田中哲, 田中哲]
通讯作者：
田中哲
共 11 条
Model and formal verification of the C language for secure construction of embedded software
-
批准号：24500051
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$3.24万
-
财政年份：2012
-
负责人：AFFELDT Reynald
-
依托单位：
Formal Proofs of Realistic Programs using Separation Logic
-
批准号：21700048
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.08万
-
财政年份：2009
-
负责人：AFFELDT Reynald
-
依托单位：
海外基金