周巢尘
作了题为“程序验证——解决老问题的新方略”的报告。他在报告中简单介绍程序断言(Assertion)的概念,断言方法在工业界的应用以及国际上的验证编译器(VerifyingCompiler)计划，并对程序验证和代数符号计算关系做了介绍,建议把我国的代数符号计算方面的杰出成就应用于程序验证的研究[2]。
-
- 暂无资料
-
- 暂无资料
-
- 暂无资料
-
- 暂无资料
-
- 暂无资料
>>更多友情链接
3D显示器 数字头盔|立体投影 大型投影|数据手套 力反馈|位置追踪 空间定位|动作捕捉 运动测量|逆向工程 打印扫描|三维建模 数学建模|数字评审 设计验证|计算机辅助工程CAE|计算机辅助制造CAM|3D体验 虚拟仿真|游戏动画 数字媒体|技术支持 售后服务|虚拟旅游 数字城市|军事模拟 应急演练|工业仿真 辅助设计|虚拟医疗 远程控制|航空航天 教学科研|模拟驾驶 展览展示|技术方案 系统集成|VR头盔 虚拟外设|家居生活 智慧家庭|智能穿戴 炫酷玩品|出行定位 智慧安全|智能办公 随身酷品|逆向 3D扫描 3D打印|通讯数码 影音娱乐
©2008 China SouVR Co., Inc. All information contained here in applies to China vehicles only. For non-China-distributor information go to en.souvr.com.
360网站安全检测平台;京ICP备10012572号 ;京公网安备11010802013759号