登陆
注册
模型检查验证技术原理与其在芯片验证中的案例应用
有212人正在学习
上海控安
2023-09-08 15:16
1. 模型检查技术的基本原理
2. 主流模型检查技术的案例解析
3. 一个基于模型检查的小的SEC应用
……
李建文
李建文，华东师范大学研究员，博士生导师，入选上海市青年人才计划，获得上海市浦江人才荣誉称号，主持国家自然科学基金面上项目、青年项目、重点项目子课题各一项。研究方向主要为形式化自动验证技术，可用于保障计算机软硬件系统的正确性和安全性，重点应用场景包括芯片、航天、轨道交通等安全攸关领域。
