文学

软件学院专家报告:孔维强、李豪杰教授学术报告

软件学院专家报告:孔维强、李豪杰教授学术报告

1)形式验证作为安全攸关系统的可靠性保证技术,受到广泛关注并于近年逐步应用到企业实践中。

本报告概要性介绍形式验证技术的背景及基本方法,重点介绍报告人提出的基于混成计算的多核限界模型检测技术,以及融合定理证明及模型检测的大规模系统的形式验证方法论。

(2)工程教育专业认证逐渐受到各高校的普遍重视。

本报告从软件工程专业认证参与者的角度,介绍工程教育专业认证的经验和体会,涵盖认证前的准备、自评报告的撰写、专家到校考察等方面的注意事项。 60余篇、形式验证方向国外授权专利1项并商用化,近五年主持或参与国家自然科学基金重点项目、面上项目、国际企业横向等科研项目7项;近五年参与国家教学成果奖二等奖1项、辽宁省教学成果奖一等奖1项,主持国家级专业建设项目1项、省级专业建设项目2项,发表教育教学论文10余篇,参与软件工程专业工程教育专业认证及复评工作。

提供的文章均由网友转载于网络,若本站转载中的文章侵犯了您的权益,请与本站管理员联系.
Copyright © 2006-2019 文学_当代文学www.hy9996.com All Rights Reserved.