CERTIFICATION; AUTOMATIC CONTROL; THEOREM PROVING; GRAPHICAL USER INTERFACE; PROGRAM VERIFICATION (COMPUTERS); APPLICATIONS PROGRAMS (COMPUTERS); ARCHITECTURE (COMPUTERS); SAFETY;
机译:软件认证中自动定理证明的实证评估
机译:基于自由定理证明高阶多态结石程序变换的正确性
机译:一阶程序设计的基于实例化的定理证明
机译:静态程序分析仪的结果认证,自动定理普罗瓦
机译:ProTem编程语言中的自动定理证明。
机译:1997–2007年疗养院内护理助理培训和认证计划的普遍性
机译:具有自动定理证明的静态程序分析器的结果认证
机译:基于全自动定理证明的程序认证助手