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
会议日期	SEP 24-25,
会议地点	Macao, PEOPLES R CHINA
关键词	program verification invariant generation polynomial programs semi-algebraic systems quantifier elimination DISCOVERER QEPCAD
页码	67-82
英文摘要	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
会议录	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
会议录出版者	Formal Methods and Hybrid Real-Time Systems
会议录出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
ISSN号	0302-9743
ISBN号	978-3-540-75220-2
内容类型	会议论文
源URL	[http://124.16.136.157/handle/311060/11112]
专题	软件研究所_计算机科学国家重点实验室 _会议论文
推荐引用方式 GB/T 7714	Chen Yinghua,Xia Bican,Yang Lu,et al. generating polynomial invariants with discoverer and qepcad[C]. 见:Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen. Macao, PEOPLES R CHINA. SEP 24-25,.