A Way of Validating Polynomial Program with Semi-algebraic System

DOI

10.2991/isaeece-16.2016.31How to use a DOI?

Keywords

Polynomial program, Semi-algebraic System, Symbolic model checking

Abstract

Program checking is an interesting and challenging problem. Many kinds of programs can be formulated as polynomial programs, expressing the same meanings in a mathematical way. Moreover, with the mathematic framework of semi-algebraic systems, the polynomial based model checking can be applied directly and efficiently, as well as shows a good solution to reduce the state explosion problem. In this article, we show an easy way to translate the polynomial program into a semi-algebraic transition system, and then check the properties by computing the zeros.

Copyright

© 2016, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Qinggeng Jin
AU  - Lijuan Su
AU  - Anping He
AU  - Juxia Xiong
PY  - 2016/04
DA  - 2016/04
TI  - A Way of Validating Polynomial Program with Semi-algebraic System
BT  - Proceedings of the 2016 International Symposium on Advances in Electrical, Electronics and Computer Engineering
PB  - Atlantis Press
SP  - 147
EP  - 153
SN  - 2352-5401
UR  - https://doi.org/10.2991/isaeece-16.2016.31
DO  - 10.2991/isaeece-16.2016.31
ID  - Jin2016/04
ER  -