|
个人信息：Personal Information
副教授 研究生导师
主要任职：计算机科学与技术学院计算理论与技术研究所本硕博师联合党支部书记
性别：男
毕业院校：西安电子科技大学
学历：博士研究生毕业
学位：工学博士学位
在职信息：在岗
所在单位：计算机科学与技术学院
入职时间：2018-03-09
学科：计算机软件与理论
办公地点：西安电子科技大学南校区网安大楼A308
电子邮箱：
扫描关注
Using Unified Model Checking to Verify Heaps
点击次数：
所属单位：西安电子科技大学
教研室：计算理论与技术研究所
发表刊物：The 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2016，CCF C类、理论计算机科学高水平会议)
项目来源：NSFC Grant Nos. 61133001, 61322202, 61420106004, and 91418201
关键字：Heap verification, Model checking, MSVL, PPTL, Separation logic
第一作者：陆旭
论文类型：Proceedings Paper
通讯作者：段振华,田聪
论文编号：3
学科门类：工学
一级学科：计算机科学与技术
文献类型：C
卷号：LNCS 10043
页面范围：735-743
ISSN号：03029743
是否译文：否
发表时间：2016-12-16
收录刊物：EI、EI