Decision procedures; Proofs by reflection Deductive program verification; Nonlinear integer arithmetic;
机译:Why3,Coq和Isabelle中Tarjan强连接组件算法的形式证明
机译:基于采样的近似周期结果证明和算法应用
机译:通过使用声波晶体来减少镜面反射的宽带:航空航天应用中的降噪概念证明
机译:反射证明的Why3框架及其在GMP算法中的应用
机译:命题证明复杂性的算法应用。
机译:GMPSO-VMD算法及其在滚动轴承故障特征提取中的应用
机译:一个Whe3反射证明的框架及其对GMP算法的应用
机译:多变量建模在放射损伤评估中的应用:概念证明(放射损伤算法)