Software; Formal verification; Microelectronics; Hafnium; Graphics; Safety; Standards;
机译:符号执行调试器(SED):用于交互式符号执行,调试,验证等的平台
机译:正式解释的符号执行
机译:通过符号执行程序来检测错误的正式模型
机译:使用符号执行形式的AUTOSAR看门狗管理器模块的形式验证
机译:符号模拟在微处理器形式验证中的应用。
机译:网络物理系统中控制模块的正式验证
机译:使用符号执行的正式程序验证