PROVING; PROGRAM VERIFICATION (COMPUTERS); SYSTEMS ENGINEERING; SAFETY FACTORS; THEOREMS; SIMPLIFICATION; MATHEMATICAL MODELS;
机译:软件认证中自动定理证明的实证评估
机译:硬件和软件验证的自动定理证明中的一些关键研究问题
机译:组合博弈论中自动证明定理的符号有限状态方法
机译:静态程序分析仪的结果认证,自动定理普罗瓦
机译:通过翻译成描述逻辑来自动证明定理。
机译:医疗保健大数据的软件缺陷预测:机器学习技术的实证评价
机译:软件认证中自动定理证明的实证评价