generating polynomial invariants with discoverer and qepcad

	generating polynomial invariants with discoverer and qepcad
	Chen Yinghua; Xia Bican; Yang Lu; Zhan Naijun
	2007
会议名称	Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	67-82
会议日期	SEP 24-25,
会议地点	Macao, PEOPLES R CHINA
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	Formal Methods and Hybrid Real-Time Systems
ISSN	0302-9743
ISBN	978-3-540-75220-2
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
摘要	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 semi-algebraic system are more expressive than tho
关键词	Program Verification Invariant Generation Polynomial Programs Semi-algebraic Systems Quantifier Elimination Discoverer Qepcad
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/11112
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Chen Yinghua,Xia Bican,Yang Lu,et al. generating polynomial invariants with discoverer and qepcad[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:Formal Methods and Hybrid Real-Time Systems,2007:67-82.