Dynamic fault trees; Theorem proving; Model checking HOL4; STORM;
机译:使用形式化模型检查对状态/事件故障树进行定性分析
机译:结合了HOL定理证明和MDG模型检查的混合验证
机译:通过整合形状分析和交互式定理证明来验证B〜+树
机译:使用定理的整合和模型检查的正式动态故障树分析
机译:模型检查和定理证明:一个统一的框架。
机译:使用定理证明关于系统生物学的形式推理
机译:利用定理证明进行形式故障树分析
机译:用定理证明技术对容错的形式验证。