位置：成果数据库 > 期刊 > 期刊详情页
Automatic Generation of Non-Linear Loop Invariant
  • 期刊名称：Journal of Computational Information Systems
  • 时间：0
  • 页码：3335-3344
  • 语言：英文
  • 相关项目：基于计算机代数的嵌入式软件分析与验证方法及工具
作者： Zhongqin Bi, Meijing Shan, and Xiuxia Tian|
同期刊论文项目
基于计算机代数的嵌入式软件分析与验证方法及工具
期刊论文 44 会议论文 28 著作 1
同项目期刊论文
Termination of Linear Programs with Nonlinear Constraints
基于DISCOVERER的Petri网不变式的自动生成
A Semi-algebraic Approach for asymptotic stability analysis
Termination Analysis of Linear Loops
Reachability Analysis of Rational Eigenvalue Linear Systems
Real Solution Isolation with Multiplicity of Zero-Dimensional Triangular Systems
零维系统保持重数的零点分解
线性程序的终止性判定
非线性循环的终止性分析
嵌套循环的终止性
非线性循环不变量的自动生成
基于随机矩阵的差分代换算法的完备化
区间上非线性程序的终止性判定
Binary bell polynomials Approach to generalized Nizhnik-Novikov-Veselov equation
基于确定性退火的中文术语语义层次关联研究
相干命题逻辑自然推理系统NR的自动证明
离散修正KdV方程的解析近似解
基于DISCOVERER的Petri网不变式自动生成
空间有理曲线的μ基及曲线隐式化
有理参数曲线的近似恰当化
利用改进的逐次差分代换证明多项式正半定性
Symmetry Analysis of Two Types of （2＋1）-Dimensional Nonlinear Klein-Gorden Equation
Symmetry reduction and exact solutions of the （3＋ 1）-dimensional Zakharov-Kuznetsov equation
Symmetry analysis and explicit solutions of the （3＋1）-dimensional baroclinic potential vorticity equation
Analytic Approximations for Soliton Solutions of Short-Wave Models for Camassa-Holm and Degasperis-Procesi Equations
Backlund Transformations and Explicit Solutions of （2d-1）-Dimensional Barotropic and Quasi-Geostrophic Potential Vorticity Equation
Symmetry and Exact Solutions of （2＋1）-Dimensional Generalized Sasa-Satsuma Equation via a Modified Direct Method
A Note on Nonclassical Symmetries of a Class of Nonlinear Partial Differential Equations and Compatibility
Symmetry Reductions and Exact Solutions of Blaszak-Marciniak Four-Field Lattice Equation
A new four-dimensional chaotic system