“符号执行”的概念、定义、翻译、参考文献-科学参考

单词	符号执行
释义	符号执行 Encyclopedia 理学软件安全防御释 symbolic execution符号执行一种对程序的执行路径进行系统化探索的程序分析技术。 Computer 软件工程释文 symbolic execution符号执行
随便看	半单类半单纯分解半单纯复形半单纯映射半单纯的半单纯群半单纯链复形半单纯集半单线性变换半单结合代数半单群半单自同态半单若尔当代数半单表示半单调性半单调范数半单赋范环半单超代数半单部分半单阿廷环半卵去核法半厚度半参数半参数模型半双凸镜状的

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。