人工智能系列讲座（九）：Formal Design of Embedded Systems

• 报告人：詹乃军 教授（中国科学院软件研究所）
• 主持人：王以松（贵州大学）
• 时间：2023年12月4日（星期一）11:00—11:30
• 地点：贵州大学2号行政楼402会议室

报告摘要

介绍基于模型的嵌入式系统形式化设计方法，包括 Simulink/Stateflow 与 HCSP 之间的转换、混合 Hoare 逻辑验证、协同仿真、近似互模拟及工具链 MARS。

报告人简介

詹乃军教授任职于中国科学院软件研究所，研究方向包括实时与混合系统、程序验证、模态与时序逻辑、并发计算模型等。