Recent advances in program verification through computer algebra
Recent advances in program verification through computer algebra
复制标题
通过计算机代数进行程序验证的最新进展
DOI：
10.1007/s11704-009-0074-7
复制
发表时间：
2010-03
影响因子：
--
通讯作者：
Zhou, Chaochen
中科院分区：
文献类型：
--
作者：
Xia, Bican;Zhan, Naijun;Yang, Lu;Zhou, Chaochen
本文总结了我们通过半代数系统（SAS）求解获得的程序验证成果，包括不变量和排序函数的自动发现、一类线性循环终止的符号决策过程、非线性系统的终止分析等。
In this paper, we summarize the results on program verification through semi-algebraic systems (SASs) solving that we have obtained, including automatic discovery of invariants and ranking functions, symbolic decision procedure for the termination of a class of linear loops, termination analysis of nonlinear systems, and so on.
登录
查看更多内容
DOI：
10.1109/iccsit.2009.5234919
发表时间：
2009-09
期刊：
2009 2nd IEEE International Conference on Computer Science and Information Technology
影响因子：
--
作者：
Yi Li
通讯作者：
Yi Li
DOI：
10.1007/978-3-642-12189-0_42
发表时间：
2010-03
期刊：
--
影响因子：
--
作者：
Bin Wu;L. Shen;Zhongqin Bi;Zhenbing Zeng
通讯作者：
Bin Wu;L. Shen;Zhongqin Bi;Zhenbing Zeng
DOI：
10.1145/360827.360850
发表时间：
1974-02
期刊：
Commun. ACM
影响因子：
--
作者：
B. Wegbreit
通讯作者：
B. Wegbreit
DOI：
10.1007/978-3-540-24622-0_20
发表时间：
2004-01
期刊：
--
影响因子：
--
作者：
A. Podelski;A. Rybalchenko
通讯作者：
A. Podelski;A. Rybalchenko
DOI：
10.1016/j.jsc.2007.01.002
发表时间：
2007-04
期刊：
J. Symb. Comput.
影响因子：
--
作者：
Enric Rodríguez-carbonell;D. Kapur
通讯作者：
Enric Rodríguez-carbonell;D. Kapur