首页   |   期刊介绍   |   编 委 会   |   投稿指南   |   学术活动   |   期刊订阅   |   检索与收录   |   联系我们   |   专栏投稿 
论文 最新目录| 下期目录| 过刊浏览| 高级检索 |
断言语言支持自定义谓词的程序验证器原型
徐文义(1,2),陈意云(1,2),李兆鹏(1,2)
1(中国科学技术大学 计算机科学与技术学院,合肥 230026), 2(中国科学技术大学 苏州研究院软件安全实验室,江苏 苏州 215123)
Verifier Prototype for Programs with User-defined Predicates in the Assertion Language
XU Wen-yi(1,2), CHEN Yi-yun(1,2), LI Zhao-peng(1,2)
1(Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230026, China), 2(Software Security Laboratory, Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou 215123, China)


版权所有 © 《小型微型计算机系统》编辑部
主办单位:中国科学院沈阳计算技术研究所 主编:郭锐锋
国内邮发代号:8-108 国外发行代号:M349 通信地址:沈阳市浑南区南屏东路16号 邮编:110168
联系电话:(024)24696120 E-mail: xwjxt@sict.ac.cn
本系统由北京玛格泰克科技发展有限公司设计开发  技术支持:support@magtech.com.cn