Correctness Proo; Inspection; Program Verification;
机译:基于形式规范的程序验证检查
机译:结合基于单元和基于规范的测试以进行元模型验证和验证
机译:对实数执行不确定性测试的程序的正确性的语义证明
机译:结合基于规范的测试,正确性证明和检查,以在实践中验证程序
机译:将静态分析和运行时分析相结合,以验证和测试多线程程序。
机译:疟疾快速诊断测试(RDT)销售采购和批量验证实践的全球调查:评估WHO-FIND疟疾RDT评估计划的使用(2011-2014年)
机译:没有证明的正确程序?基于检查器的程序验证
机译:海上安全:海岸警卫队检查确定并纠正设施缺陷,但需要对计划的人员编制,实践和数据进行更多分析