重写系统的基础理论及其在软件质量保障中的应用
61802259
2018
F0201.计算机科学的基础理论
刘嘉祥
青年科学基金项目
讲师
深圳大学
24万元
重写系统;交互式定理证明;合流性;形式化验证
2019-01-01到2021-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | Verifying Arithmetic in Cryptographic C Programs | 会议论文 | Jiaxiang Liu;Xiaomu Shi;Ming-Hsien Tsai;Bow-Yaw Wang;Bo-Yin Yang |
| 2 | IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs | 会议论文 | Zuxing Gu;Min Zhou;Jiecheng Wu;Yu Jiang;Jiaxiang Liu;Ming Gu |
| 3 | Signed Cryptographic Program Verification with Typed CryptoLine | 会议论文 | Yu-Fu Fu;Jiaxiang Liu;Xiaomu Shi;Ming-Hsien Tsai;Bow-Yaw Wang;Bo-Yin Yang |
| 4 | An Empirical Study on API-Misuse Bugs in Open-Source C Programs | 会议论文 | Zuxing Gu;Jiecheng Wu;Jiaxiang Liu;Min Zhou;Ming Gu |
| 5 | CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver | 会议论文 | Xiaomu Shi;Yu-Fu Fu;Jiaxiang Liu;Ming-Hsien Tsai;Bow-Yaw Wang;Bo-Yin Yang |
查看更多信息请先登录或注册
