B Method; Proof Obligations; First Order Provers; SMT Solvers; Logical Frameworks; Industrial Use; Large Scale Study;
机译:机械验证的线性化证明义务
机译:使用深度嵌入和自动定理证明来验证B证明规则
机译:数学证明技术,自动需求跟踪是软件验证工具的趋势
机译:BWAWE项目:构建一个证明平台,用于自动验证B校杀义务
机译:通过自动生成证明义务来分析设计。
机译:PS1-33:CESR概念验证项目:从DCC角度汲取的教训
机译:BWAWE项目:构建一个证明平台,用于自动验证B校杀义务
机译:通过学习进行自动组合验证的证明规则