直播内容：

本报告先简要介绍模型检查的相关技术，然后以具体的案例来解释这些技术工作的原理。最后再用一个芯片验证的小的应用场景来说明模型检查在工业界中的真实应用情形。

直播大纲：

1. 模型检查技术的基本原理

2. 主流模型检查技术的案例解析

3. 一个基于模型检查的小的SEC应用

分享嘉宾：李建文 华东师范大学研究员，博士生导师

李建文，华东师范大学研究员，博士生导师，入选上海市青年人才计划，获得上海市浦江人才荣誉称号，主持国家自然科学基金面上项目、青年项目、重点项目子课题各一项。研究方向主要为形式化自动验证技术，可用于保障计算机软硬件系统的正确性和安全性，重点应用场景包括芯片、航天、轨道交通等安全攸关领域。

特邀主持：赖晓铮，华南理工大学计算机学院副教授，CCF会员

社群人满，请添加小助手邀请（微信号：elecfanslin），备注：开源硬件

讲师介绍

DatenLord

北京达坦科技有限公司DatenLord，专注打造新一代开源跨云存储平台，以满足不同行业客户对海量数据跨云、跨数据中心高性能访问的需求，DatenLord专注底层硬核技术，通过软硬件深度融合的方式，涉及分布式系统、Linux内核、InfiniBand/RDMA、FPGA、SoC、嵌入式等多个底层技术领域。

关于电子发烧友直播

电子发烧友直播是基于拥有超过623万+注册用户的电子发烧友网直播平台，不定期邀请电子行业大咖进行直播分享，包含ETD（Elecfans Technology Day）和大咖秀两个子栏目，分别于周二和周五进行。电子发烧友直播旨在让工程师更优秀。

参加直播可与嘉宾交流互动，报名成功错过直播可在直播后收看回放，永久有效！

搜索并关注微信公众号“电子发烧友网(ID:elecfans)”，不再错过一切精彩直播！

推荐嘉宾请联系：users@huaqiu.com