 |
个人信息：Personal Information
副教授 研究生导师
主要任职：计算机科学与技术学院计算理论与技术研究所本硕博师联合党支部书记
性别：男
毕业院校：西安电子科技大学
学历：博士研究生毕业
学位：工学博士学位
在职信息：在岗
所在单位：计算机科学与技术学院
入职时间：2018-03-09
学科：计算机软件与理论
办公地点：西安电子科技大学南校区网安大楼A308
电子邮箱：
扫描关注
Verify heaps via unified model checking
点击次数：
所属单位：西安电子科技大学
教研室：计算理论与技术研究所
发表刊物：Theoretical Computer Science (TCS，CCF B类、理论计算机科学著名国际期刊)
刊物所在地：Elsevier
项目来源：NSFC Grant Nos. 61732013 and 61420106004
关键字：Heap verification, Model checking, MSVL, PPTL, Separation logic
全部作者：堵宏伟
第一作者：陆旭
论文类型：期刊论文
通讯作者：段振华,田聪
论文编号：5
学科门类：工学
一级学科：计算机科学与技术
文献类型：J
ISSN号：03043975
是否译文：否
发表时间：2018-04-02
收录刊物：SCI、EI、SCI、EI