报告题目：基于MSVL的系统建模、仿真和验证技术
报告人：西安电子科技大学 段振华教授
报告时间：2012年5月30日 13:30
报告地点：嘉定校区
报告摘要：MSVL 是一个集建模、仿真和验证为一体的程序设计语言。讲座内容分为4部分：（1）MSVL基础理论：包括投影时序逻辑（PTL）、命题投影时序逻辑（PPTL）和MSVL的语法、语义以及程序的范式及范式图；（2）基于MSVL的建模、仿真和验证的原理和方法：包括程序的化简（执行），范式图的生成（建模）以及程序的统一模型检测验证方法；（3）同步和异步通讯：重点介绍同步与异步通讯原理和实施方案，并以网络多方电子合同签署协议为例加以说明；（4）多核并行计算；着重介绍多核并行计算的语义模型--柱面计算模型，以及它的实现方法。
报告人简介： 段振华，英国纽卡斯尔大学（University of Newcastle upon Tyne）理学博士, 谢菲尔德大学 (University of Sheffield) 工学博士，西安电子科技大学二级教授，博士生导师，计算理论与技术研究所所长，校学术振兴计划现代计算首席专家，校可信软件创新团队首席专家，享受政府特殊津贴。IEEE高级会员，美国数学评论（Mathematical Reviews）特邀评论员，第十三届国家自然科学基金委评审委员。曾担任5个著名国际学术会议程序委员会或组委会主席，40多个主流国际学术会议程序委员会委员。主持国家973项目子课题，国家自然科学基金重点、重大国际合作、重大研究计划（培育）和面上项目，以及国防预研等多项国家级项目。在Acta Informatica, Theoretical Computer Science, Biosystems, Science of Computer Programming, Mathematical Structures in Computer Science, Journal of Logic and Algebraic Programming, Information Processing Letters 和Journal of Combinatorial Optimization等著名国际期刊和国际会议上发表论文100余篇。主要研究方向包括：高可信软件技术，互联网计算技术，以及嵌入式软件技术。
嵌入式与服务计算教育部重点实验室 2012年5月29日
