² Prof. Annabelle McIver (Mcquarie University, AU):
²Security and refinement
² Prof. Charles Carroll Morgan (University of New South Wales, AU):
Hoare style programming using Dafny
² Prof. Bernd-HolgerSchlingloff (Fraunhofer FOKUS and Humboldt-Universitatzu Berlin):
Model-Driven Development of Embedded and Cyber-Physical Systems
部分学术沙龙特邀讲者及讲座题目
² 詹乃军教授（中国科学院软件研究所）：
Formal Verification of Simulink/Stateflow Diagram
² 冯新宇教授（中国科学技术大学）
Compositional Verification of Termination-Preserving Refinement of Concurrent Programs
课程日期：2014年9月8日-13日
申请注册 申请截至日期: 2014年8月24日
声明：
1.以上会议非科学网主办或承办会议，科学网会议频道会议来自于互联网方便用户了解行业信息，如需参会、汇款、获取邀请函或会议日程，请与主办单位联系
2.部分会议信息来自互联网，由于网络的不确定性，科学网对所发布的信息不承担真实性的鉴别工作，请谨慎选择汇款参会，若您发现信息有误，请联系010-62580809纠错
3.更多服务信息请点击这里
