Research on Highly Reliable Agile Formal Engineering Methods
Research on Highly Reliable Agile Formal Engineering Methods
高可靠敏捷形式化工程方法研究
批准号：
26240008
负责人：
LIU Shaoying
金额：
$18.3万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (A)
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-06-27 至 2019-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(67)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
TBFV-SE: Testing-Based Formal Verification with Symbolic Execution
TBFV-SE：基于测试的带有符号执行的形式验证
TBFV-SE：基于测试的带有符号执行的形式验证
DOI：
10.1109/qrs.2018.00019
发表时间：
2018
期刊：
proceedings of 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS 2018)
影响因子：
--
作者：
[Rong Wang, Shaoying Liu]
通讯作者：
Shaoying Liu
Automated Visualization of Input / Output for Processes in SOFL Formal Specifications
SOFL 正式规范中流程的输入/输出的自动可视化
SOFL 正式规范中流程的输入/输出的自动可视化
DOI：
--
发表时间：
2018
期刊：
Proceedings of The 7th International Conference on Software Engineering and Applications (SEAS 2018)
影响因子：
--
作者：
[Yu Chen, Shaoying Liu]
通讯作者：
Shaoying Liu
DOI：
--
发表时间：
2018
期刊：
ACM Transactions on Software Engineering and Methodology
影响因子：
4.4
作者：
[Adrian Riesco, Kazuhiro Ogata]
通讯作者：
Kazuhiro Ogata
A Software Tool to Support the "Vibration" Method
支持“振动”方法的软件工具
支持“振动”方法的软件工具
DOI：
--
发表时间：
2018
期刊：
Proccedings of 7th International Conference on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795
影响因子：
--
作者：
[Pan Zhao, Shaoying Liu]
通讯作者：
Shaoying Liu
A Divide and Conquer Approach to Liveness Model Checking under Fairness & Anti-fairness Assumptions
公平条件下活性模型检查的分而治之方法
公平条件下活性模型检查的分而治之方法
DOI：
--
发表时间：
2017
期刊：
Frontiers of Computer Science (FCS)
影响因子：
--
作者：
[Hibiya S, Tsuchiya K, Shirasaki T, Fukushima K, Oshima S, Okamoto R, Nakamura T, Watanabe M, 黒崎知博, Kazuhiro Ogata]
通讯作者：
Kazuhiro Ogata
共 68 条
Research on Formal Specification-Based Program Testing
-
批准号：18500027
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.48万
-
财政年份：2006
-
负责人：LIU Shaoying
-
依托单位：
Formal Methods and Intelligent Software Engineering Environments
-
批准号：08044167
-
项目类别：Grant-in-Aid for international Scientific Research
-
资助金额：$7.68万
-
财政年份：1996
-
负责人：LIU Shaoying
-
依托单位：