2024年11月
26
星期二
S202210247101
基于petri网模型的C语言代码死锁验证
创新训练项目
同济大学
一年期
工学
计算机类
2022-06-01
2023-06-29
姓名 专业班级 所在学院 项目中的分工 成员类型
植意成 数据科学与大数据技术 电子与信息工程学院 负责C语言抽象为形式化模型研究 第一主持人
王济君 数据科学与大数据技术 电子与信息工程学院 负责petri网形式化模型研究 成员
顾文涛 数据科学与大数据技术 电子与信息工程学院 负责大规模代码锁提取以及C语言形式化 成员
姓名 职称 指导教师类型
刘关俊 无 第一指导教师