首页·讲座预告
软件正确性与形式验证
发布时间:2018-04-26

主题

软件正确性与形式验证

讲师

张文辉

讲座地点

闽江学院工科大楼A座5楼会议室

讲座时间

2018年4月28日(周六)上午9:30

讲者简介

中科院软件所计算机科学国家重点实验室研究员,2000年入选中国科学院百人计划。主要研究兴趣包括形式模型、数理逻辑与程序逻辑、推理与模型检测、计算机软件正确性的理论与方法,实现了基于限界正确性检查和基于不动点算法的检查离散迁移系统CTL性质的模型检测工具VERDS

摘要 

软件正确性是软件工程及应用中的重要问题,形式验证方法是保证软件系统正确性的一种手段。形式验证的主要方法有推理验证和模型检测。报告简要论述这些方法并用实例及工具说明模型检测方法的应用。

承办单位 

福建省信息处理与智能控制重点实验室 

协办单位

数字福建智能化生产物联网实验室

电子信息与控制工程研究中心

工业机器人应用福建省高校工程研究中心

福州市机器人技术应用联合实验室

闽江学院互联网创新研究中心

闽江学院汇川科技物联网联合研究院

闽江学院计算机与控制技术研究所

闽江学院2011协同创新培育点“物联网技术与智能系统”