Content area

Abstract

Translate

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.

Details

Key topics
Powered by Web of Science® Description for Powered by Web of Science
Verification;
Computer algebra;
Computer;
Formal verification
Subject
Computer algebra;
Program verification (computers);
Nonlinear systems
Identifier / keyword
Verification; Computer algebra; Computer; Formal verification
Title
Recent advances in program verification through computer algebra
Author
Yang, Lu 1 ; Zhou, Chaochen 2 ; Zhan, Naijun 2 ; Xia, Bican 3 

1  East China Normal University, Laboratory of Trustworthy Computing, Shanghai, China (GRID:grid.22069.3f) (ISNI:0000000403696365) 
2  Chinese Academy of Sciences, Laboratory of Computer Science, Institute of Software, Beijing, China (GRID:grid.9227.e) (ISNI:0000000119573309) 
3  Peking University, LMAM & School of Mathematical Sciences, Beijing, China (GRID:grid.11135.37) (ISNI:0000000122569319) 
Publication title
Frontiers of Computer Science in China; Heidelberg
Volume
4
Issue
1
Pages
1-16
Publication year
2010
Publication date
Mar 2010
Publisher
Springer Nature B.V.
Place of publication
Heidelberg
Country of publication
Netherlands
Publication subject
Computers
ISSN
16737350
e-ISSN
16737466
Source type
Scholarly Journal
Language of publication
English
Document type
Journal Article
Publication history
 
 
Online publication date
2010-02-05
Milestone dates
2009-02-05 (Registration); 2009-08-20 (Received); 2009-12-09 (Accepted)
Publication history
 
 
   First posting date
05 Feb 2010
DOI
https://doi.org/10.1007/s11704-009-0074-7
ProQuest document ID
2918720177
Document URL
https://www.proquest.com/scholarly-journals/recent-advances-program-verification-through/docview/2918720177/se-2?accountid=208611
Copyright
© Higher Education Press and Springer Berlin Heidelberg 2010.
Last updated
2024-08-27
Database
ProQuest One Academic