Frama-C; ACSL; Abstract interpretation; Deductive verification; Runtime verification; Test generation; Combinations of analyses;
机译:验证HTR代码包(HCP)作为全面的HTR稳态和瞬态安全分析框架
机译:自动代码转换器增强的PCH框架,用于SoC信任验证
机译:对ENCODE数据进行协作分析的框架:使大规模分析对生物学家友好。
机译:FRAMA-C,C代码验证的协作框架:教程概要
机译:JVM及其字节码验证程序的正式规范和验证。
机译:对ENCODE数据进行协作分析的框架:使大规模分析对生物学家友好
机译:代码分析框架的软件架构至关重要:Frama-C示例
机译:simulink代码生成:使用simulink Coder从simulink模型生成C代码的教程。