Generating Polynomial Invariants with DISCOVERER and QEPCAD


This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invariants represented as a semialgebraic system are more expressive than those generated with the wellestablished approaches in the literature, which are normally represented as a conjunction… (More)
DOI: 10.1007/978-3-540-75221-9_4


Cite this paper

@inproceedings{Chen2007GeneratingPI, title={Generating Polynomial Invariants with DISCOVERER and QEPCAD}, author={Yinghua Chen and Bican Xia and Lu Yang and Naijun Zhan}, booktitle={Formal Methods and Hybrid Real-Time Systems}, year={2007} }