Generating Polynomial Invariants with DISCOVERER and QEPCAD

@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}
}
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 of polynomial equations. We implement this approach with the computer algebra tools DISCOVERER and QEPCAD. We also explain, through the… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
19 Citations
34 References
Similar Papers

Similar Papers

Loading similar papers…