Binary code analysis; Deductive verification; Equivalence checking; Formal instruction set specification; Compiler testing;
机译:通过演绎验证优化形式规范的切片
机译:基于二进制代码反演方法的背景循环冗余校验计算器进行低功耗代码存储器完整性验证
机译:验证同步规范的并发代码
机译:第一届基于模型的验证和确认时间规范以及分布式组件模型及其环境的演绎验证研讨会
机译:JVM及其字节码验证程序的正式规范和验证。
机译:开发和应用演绎编码框架以评估公民/社区陪审团审议的目标
机译:测试生成如何在Frama-C中帮助软件规范和演绎验证
机译:演绎评估:用户负担低的隐式代码验证。