您所在位置：网站首页 > 办公文档 > 其它办公文档日程表-可信软件工程中的逻辑方法研讨会v7

日程表-可信软件工程中的逻辑方法研讨会v7

3页

卖家[上传人]：洪易

文档编号：40641164

上传时间：2018-05-26

文档格式：DOCX

文档大小：22.90KB

文档加载中……请稍候！
如果长时间未打开，您也可以点击刷新试试。

下载文档到电脑，查找使用更方便

10 金贝

/ 3 举报版权申诉马上下载

文本预览

下载提示

常见问题

1、由计算机科学与工程学院、广西可信软件重点实验室承办、中科院软件所主办的“可信软件工程中的逻辑方法”学术研讨会将于 2014.11.13-15 日在桂林电子科技大学召开，欢迎有兴趣的同仁积极参加。本次会议将聚集国内本领域的相关院士、学术和工业届专家学者、工程技术人员参加，机会难得。具体会议日程表如下：日程安排表日程安排表会议地点：金鸡岭校区金鸡岭校区 10 教教 50611.1311.13 日日上午上午（程序验证）（程序验证）主持人：蔡国永主持人：蔡国永9:00-10:009:00-10:00王捍贫王捍贫教授教授北京大学北京大学程序验证理论方法与实际应用的差距程序验证理论方法与实际应用的差距10:00-1110:00-11：0000董云卫董云卫教授教授西北工业大学西北工业大学模型驱动的驱动程序软件设计与验证模型驱动的驱动程序软件设计与验证 11:00-11:1011:00-11:10茶歇茶歇11:10-11:4011:10-11:40陈振邦陈振邦博士博士国防科大国防科大正规性质制导的符号执行技术正规性质制导的符号执行技术1111：40-1240-12：1010孙孙猛猛

2、副教授副教授北京大学北京大学ModelingModeling andand VerificationVerification ofof ComponentComponent ConnectorsConnectors inin CoqCoq午餐午餐11.1311.13 日日下午（形式建模）下午（形式建模）主持人：常亮主持人：常亮14:00-15:0014:00-15:00田聪田聪西安电子科技大学西安电子科技大学TBATBA15:00-1615:00-16：0000李晓红李晓红天津大学天津大学TBATBA16:00-16:1016:00-16:10茶歇茶歇16:10-17:1016:10-17:10刘刘静静教授教授华东师范大学华东师范大学轨旁系统的形式建模与验证轨旁系统的形式建模与验证 17:10-18:1017:10-18:10缪淮扣缪淮扣教授教授上海大学上海大学基于概率模型检验的基于概率模型检验的 WebWeb 服务动态自适应配置服务动态自适应配置11.1411.14 日日上午（逻辑）上午（逻辑）主持人：孙猛主持人：孙猛9:00-10:009:00-10:00赵

3、建华赵建华教授教授南京大学南京大学ScopeScope LogicLogic 研究进展：代码证明中的数据流分析技术和最弱前置条研究进展：代码证明中的数据流分析技术和最弱前置条件计算件计算10:00-1110:00-11：0000蒲戈光蒲戈光教授教授华东师范大学华东师范大学Aalta:Aalta: AnAn LTLLTL SatisfiabilitySatisfiability CheckerChecker overover Infinite/FiniteInfinite/Finite TracesTraces11:00-11:1511:00-11:15茶歇茶歇11:15-12:1511:15-12:15佘志坤佘志坤教授教授北京航空航天大学北京航空航天大学livenessliveness verificationverification ofof hybridhybrid systemssystems午餐午餐11.1411.14 日日下午下午（混成系统）（混成系统）主持人：詹乃军主持人：詹乃军14:00-15:0014:00-15:00刘刘江江副研究员副研究员重庆绿色智

4、能研究院重庆绿色智能研究院关于关于 UKFUKF 的扩展研究的扩展研究15:00-1615:00-16：0000张立军张立军研究员研究员中科院软件所中科院软件所probablyprobably safesafe oror livelive16:00-16:1016:00-16:10茶歇茶歇16:10-17:1016:10-17:10詹乃军詹乃军研究员研究员中科院软件所中科院软件所formalformal verificationverification ofof a a descentdescent guidanceguidance controlcontrol programprogram inin a a lunarlunar landerlander1717：10-1810-18：1010PanelPanel SessionSession 周巢尘院士、古天龙校长、段振华教授、叶宏研究员、詹乃军研究员、张立军研究员、缪海扣教授等中国形式化方法的未来中国形式化方法的未来11.1511.15 日日上午上午（工业）（工业）主持人：叶宏主持人：叶宏9:00-9:409:00-

5、9:40芦晓云芦晓云研究员、副总师研究员、副总师中电科技中电科技 1010 所所机载嵌入式可信软件的实践与思考机载嵌入式可信软件的实践与思考9:40-109:40-10：2020胡胡宁宁博士、高工博士、高工中航工业中航工业 631631 所所安全关键软件研发的过程方法及实践安全关键软件研发的过程方法及实践10:20-11:0010:20-11:00顾顾斌斌研究员、副总师研究员、副总师航天科技航天科技 502502 所所航天嵌入式软件可信保障研究进展航天嵌入式软件可信保障研究进展11:00-11:1011:00-11:10茶歇茶歇11:10-11:5011:10-11:50王王淼淼博博士士中航工业中航工业 615615 所所综合化航空电子系统安全性及数据挖掘应用研究综合化航空电子系统安全性及数据挖掘应用研究11:50-12:2011:50-12:20叶叶宏宏研究员、副总师研究员、副总师中航工业中航工业 631631 所所天脉操作系统的可靠性评估方法探索与实践天脉操作系统的可靠性评估方法探索与实践午餐午餐11.1511.15 日日下午下午（验证）（验证）主持人：钱俊彦主持人：钱俊彦14:00-15:0014:00-15:00陈立前陈立前博士博士国防科大国防科大基于自组合的浮点程序鲁棒性分析基于自组合的浮点程序鲁棒性分析15:00-1615:00-16：0000陈仪香陈仪香教授教授华东师范大学华东师范大学时空一致性需求规范语言时空一致性需求规范语言 STeCSTeC16:00-16:1516:00-16:15茶歇茶歇16:15-17:1516:15-17:15钱俊彦钱俊彦教授教授桂林电子科技大学桂林电子科技大学基于时间多栈下推网络的实时系统验证基于时间多栈下推网络的实时系统验证

《日程表-可信软件工程中的逻辑方法研讨会v7》由会员洪易分享，可在线阅读，更多相关《日程表-可信软件工程中的逻辑方法研讨会v7》请在金锄头文库上搜索。

点击阅读更多内容

TA的资源