设为首页 - 加入收藏
广告 1000x90
您的当前位置:三五图库香港35图库大全 > 不变式 > 正文

美国新墨西哥大学Deepak Kapur教授到软件所交流

来源:未知 编辑:admin 时间:2019-06-10

  提出的一种新的循环不变式生成方法,该方法可发现非线性以及含有数组表达式的循环不变式。

  Deepak Kapur教授现任美国新墨西哥大学计算机科学系杰出教授。他得到中国科学院“外国专家特聘研究员”项目支持,在中国科学院软件研究所访问九个月。他的研究领域包括自动推理、符号计算、形式化方法。他长期担任Journal of Symbolic Computation,Journal of Automated Reasoning等相关领域国际主流杂志的编委(其中1993至2007年担任Journal of Automated Reasoning主编);曾获得自动推理界最高奖Herbrand奖。

本文链接:http://1763inn.com/bubianshi/881.html

相关推荐:

网友评论:

栏目分类

现金彩票 联系QQ:24498872301 邮箱:24498872301@qq.com

Copyright © 2002-2011 DEDECMS. 现金彩票 版权所有 Power by DedeCms

Top