Recent advances in program verification through computer algebra

Yang, Lu
Zhou, Chaochen
Zhan, Naijun
Xia, Bican

Open link

Publication date

January 2010

DOI

10.1007/s11704-009-0074-7

Publisher

frontiers of computer science in china

ISSN

1673-7350

Journal

1673-7350

Citation count (estimate)

Abstract

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.Computer Science, Information SystemsComputer Science, Software EngineeringComputer Science, Theory & MethodsSCI(E)EI中国科学引文数据库(CSCD)9REVIEW11-16

Extracted data

We use cookies to provide a better user experience.

Data Protection

Recent advances in program verification through computer algebra

Abstract

Extracted data

Recent advances in program verification through computer algebra

Abstract

Extracted data

Related items

Related items