|
已选(0)清除
条数/页： 排序方式：
|
| Array Bounds Model Checking in C Code Based on Predicate Abstraction 会议论文
2015 International Conference on Computer Application Technologies (CCATS 2015), 2015-01-01
作者: Bai, Yunwei[1]; Xu, Qingguo[2]
  收藏 | 浏览/下载：1/0 | 提交时间：2019/04/26
|
| Efficient Predicate Analysis of MISRA-C Programs 会议论文
PROCEEDINGS OF THE 2015 JOINT INTERNATIONAL MECHANICAL, ELECTRONIC AND INFORMATION TECHNOLOGY CONFERENCE (JIMET 2015), 2015-01-01
作者: Gao, Feng; Li, Li; Luo, Jie
收藏 | 浏览/下载：2/0 | 提交时间：2020/01/06
|
| 谓词抽象研究 学位论文
2014, 2014
魏燕侠
收藏 | 浏览/下载：7/0 | 提交时间：2016/01/12
|
| 谓词抽象:一种新型语言辖域装置 期刊论文
2012
魏燕侠
收藏 | 浏览/下载：2/0 | 提交时间：2016/05/17
|
| 面向源代码的软件模型检测及其实现 期刊论文
2010, 2010
何恺铎; 顾明; 宋晓宇; 李力; 李江; HE Kai-duo; GU Ming; SONG Xiao-yu; LI Li; LI Jiang
收藏 | 浏览/下载：8/0 |
