ARTIFICIAL INTELLIGENCE; COMPUTER SYSTEMS PERFORMANCE; EXPERT SYSTEMS; LOGIC PROGRAMMING; THEOREM PROVING; ALGORITHMS; PROGRAM VERIFICATION (COMPUTERS); PROGRAMMING LANGUAGES; SEMANTICS;
机译:控制系统软件的正式验证
机译:正式的软件验证措施
机译:基于DO-333的机载软件正式分析与验证
机译:基于测试的定理形式验证及其在软件规范验证中的应用
机译:正式和半正式验证在软件测试,高级综合和能源互联网中的应用
机译:用于结直肠癌早期诊断和5-氟尿嘧啶化疗耐药但未预后的新型MicroRNA生物标志物:从数据库到AI辅助验证的研究
机译:用于设计和验证计算机数控(CNC)系统的可靠可靠软件的正式规范和验证框架
机译:aI(人工智能)软件的形式验证