Languages; Verification; Program Synthesis; Symbolic Execution; X86;
机译:从I / O样本自动合成符号指令编码
机译:可配置处理器的有效指令编码的指令集综合
机译:关于自动符号验证的调查及其综合网络系统的应用
机译:从I / O样本自动合成符号指令编码
机译:采样数据系统的编码:应用于有限字长控制器的实现和原子力显微镜的自适应采样。
机译:自动化的采样和分析研究产品综合
机译:从I / O样本自动合成符号指令编码
机译:利用符号技术自动合成分布式程序