Digital computers; Systems engineering; Computer program verification; Computer architecture; Methodology; Consistency; Computerized simulation; Corrections; Test and evaluation;
机译:符号执行调试器(SED):用于交互式符号执行,调试,验证等的平台
机译:基于符号仿真的高层设计信号转换一致性验证
机译:基于符号执行的测试模式生成算法用于硬件木马检测
机译:通过符号执行技术消除不可行的路径正确性和路径保留的证明
机译:软件验证技术在硬件设计验证中的应用。
机译:使用Monte Carlo计算对组织异质性校正保形治疗计划RTOG 0813肺癌立体定向体放射治疗后的组织异质性校正保形治疗计划的剂量测定
机译:用象征性执行分析语义正确性:PKCS#1 V1.5签名验证的案例研究
机译:验证硬件设计的正确性:符号执行技术和一致性标准。