登陆
注册
探秘程序的预言术：抽象解释与符号执行
有188人正在学习
上海控安
2026-04-30 10:57
1. 抽象解释的哲学
2. 符号执行的概念
3. 理论的统一
……
陈威
陈威，毕业于同济大学计算机科学学院，目前担任上海控安可信软件创新研究院测试工具链组研发工程师，主要从事代码自动化测试等方向研究。
陈威，毕业于同济大学计算机科学学院，目前担任上海控安可信软件创新研究院测试工具链组研发工程师，主要从事代码自动化测试等方向研究。
已完成
数据加载中
