recent advances in program verification through computer algebra
文献类型：期刊论文
| 作者 | Yang Lu ; Zhou Chaochen ; Zhan Naijun ; Xia Bican |
| 刊名 | Frontiers of Computer Science in China
 |
| 出版日期 | 2010 |
| 卷号 | 4期号:1页码:40559 |
| 关键词 | Algebra Nonlinear systems Structured programming |
| ISSN号 | 16737350 |
| 收录类别 | EI |
| 语种 | 英语 |
| WOS记录号 | WOS:000292503700001 |
| 公开日期 | 2011-05-23 |
| 附注 | 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. © Higher Education Press and Springer-Verlag Berlin Heidelberg 2010. |
| 源URL | [http://124.16.136.157/handle/311060/9780]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | Yang Lu,Zhou Chaochen,Zhan Naijun,et al. recent advances in program verification through computer algebra[J]. Frontiers of Computer Science in China,2010,4(1):40559. |
| APA | Yang Lu,Zhou Chaochen,Zhan Naijun,&Xia Bican.(2010).recent advances in program verification through computer algebra.Frontiers of Computer Science in China,4(1),40559. |
| MLA | Yang Lu,et al."recent advances in program verification through computer algebra".Frontiers of Computer Science in China 4.1(2010):40559. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。