automated code generation; formal program verification; hoare logic; fault tree analysis; safety case; goal structuring notation;
机译:使用自己的编码计算机程序验证某些土坝的运行安全
机译:数值程序的形式验证:从C注释程序到机械证明
机译:数值程序的形式验证:从C注释程序到机械证明
机译:从正式程序验证信息构建自动生成代码的安全案例
机译:正式验证螺旋生成的代码
机译:弱势群体的布迪厄和编程班:在线报道的当前实践回顾—对巴厘岛非正规编码班的启示
机译:从正式程序验证信息构建自动生成代码的安全案例
机译:安全关键装配规范的正式验证