Imagen de Portada

Recent advances in program verification through computer algebra

Guardado en:
Publicado en:Frontiers of Computer Science in China vol. 4, no. 1 (Mar 2010), p. 1
Autor principal: Yang, Lu
Otros Autores: Zhou, Chaochen, Zhan, Naijun, Xia, Bican
Publicado:
Springer Nature B.V.
Materias:
Computer algebra
Program verification (computers)
Nonlinear systems
Acceso en línea:Citation/Abstract
Full Text - PDF
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Resumen: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.
ISSN:1673-7350
1673-7466
2095-2228
2095-2236
DOI:10.1007/s11704-009-0074-7
Fuente:Advanced Technologies & Aerospace Database