机译:利用定理证明组合电路的形式可靠性分析
School of Electrical Engineering and Computer Science. National University of Sciences and Technology (NUST), Sector H-12, Islamabad, Pakistan;
Department of Electrical and Computer Engineering, Concordia University, 1455 de Maisonneuve W., Montreal, Quebec, H3G 1M8, Canada;
Department of Electrical and Computer Engineering, Concordia University, 1455 de Maisonneuve W., Montreal, Quebec, H3G 1M8, Canada;
formal verification; higher-order logic; HOL; probability theory; reliability analysis; theorem proving;
机译:使用定理证明的形式可靠性分析
机译:Cocec:基于交互式定理箴言的自动组合电路等效检查器
机译:互动定理证明者Matita证明了勒贝格的主导收敛定理的建设性和形式化证明
机译:用定理证明组合电路的准确可靠性
机译:使用定理证明进行形式概率分析。
机译:使用定理证明关于系统生物学的形式推理
机译:利用定理证明组合电路的形式可靠性分析
机译:定理证明与形式验证的显性反思