机译:通过符号数字计算方法证明循环程序的整体正确性并生成前提条件
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China,College of Mathematics and Information Science, Wenzhou University, Zhejiang 325035, China;
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China;
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China;
Department of Mathematics, Shanghai University, Shanghai 200444, China;
symbolic computation; sum-of-squares relaxation; semidefinite programming; total correctness; precondition generation;
机译:Wu方法在证明递归程序完全正确性中的应用
机译:WUΔS方法在证明递归程序总体正确性的应用
机译:基于符号数字计算的近似双仿真和软件程序优化
机译:通过符号数值计算方法证明循环程序的完全正确性
机译:使用预处理方法对低马赫数腔流产生的音调进行航空声学计算。
机译:双煎饼的实验和计算证据键:色散校正DFT方法在强力作用中的作用二聚5-芳基-1λ23λ2-二硫-246-三嗪
机译:WU的应用方法证明递归计划的总正确性
机译:证明无穷逻辑中不确定性程序的完全正确性