位置：成果数据库 > 会议 > 会议详情页
Detecting Strong Nontermination of Multi-Path Polynomial Programs
  • 所属机构名称：华东师范大学
  • 会议名称：第四届全国计算机数学学术会议
  • 成果类型：会议
  • 会场：广州
  • 相关项目：基于计算机代数的我国高速列车运行控制系统规范CTCS-3/4的分析与验证
作者： Hengjun Zhao|Naijun Zhan|Ming Xu|Jiang Liu|
同会议论文项目
基于计算机代数的我国高速列车运行控制系统规范CTCS-3/4的分析与验证
期刊论文 2 会议论文 10
同项目会议论文
Computing with Semi-Algebraic Sets Represented by Triangular Decomposition
Decidability Analysis on Termination Set of Loop Programs
Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
Cupping and diamond embeddings: a unifying approach
Proving total correctness of loop programs via symbolic-numeric computation method
Computing semi-algebraic invariants for polynomial dynamical systems
Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coe?cients
Termination Set of Linear Loop Programs
FORMALTCGENERATOR: A TOOL OF AUTOMATICALLY GENERATING TEST CASES FOR INFINITE STATES REACTIVE SYSTEM