登陆
注册
软件开发中，如何发现并发系统中的隐藏错误？
有191人正在学习
上海控安
2026-06-26 15:41
1. Spin是什么
2. 为什么需要Spin
3. Spin检查的是抽象后的系统行为
4. Spin的基本工作方式
5. 理解Spin需要掌握的几个关键词
……
肖圣平
肖圣平博士，毕业于华东师范大学软件工程学院，目前担任上海控安可信软件创新研究院系统建模组研发工程师，主要负责程序验证与形式化方法的相关研发工作。
