位置：成果数据库 > 会议 > 会议详情页
Proving total correctness of loop programs via symbolic-numeric computation method
  • 所属机构名称：华东师范大学
  • 会议名称：The 4th International Conference on Mathematical Aspects of Computer and Information Sciences
  • 成果类型：会议
  • 会场：北京
  • 相关项目：基于计算机代数的我国高速列车运行控制系统规范CTCS-3/4的分析与验证
作者： Min Wu|Zhengfeng Yang|Wang Lin|Zhenbing Zeng|
同会议论文项目
基于计算机代数的我国高速列车运行控制系统规范CTCS-3/4的分析与验证
期刊论文 2 会议论文 10
同项目会议论文
Detecting Strong Nontermination of Multi-Path Polynomial Programs
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
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