托马斯·斯特姆;阿什什·蒂瓦里 使用实量词消除进行验证和合成。 （英语） Zbl 1323.68385号 安东·莱金（编辑），第36届符号和代数计算国际研讨会论文集，ISSAC 2011，美国加利福尼亚州圣何塞，2011年6月7日至11日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0675-1）。329-336 (2011). 引用于14文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 03C10号机组 量词消除、模型完整性和相关主题 68瓦30 符号计算和代数计算 93立方厘米 控制理论中的应用模型 关键词：控制器综合;形式验证;归纳不变量 软件：QEPCAD公司;重新记录;单一 PDF格式BibTeX公司 XML格式引用 \textit｛T.Sturm｝和\textit｛A.Tiwari｝，载于：第36届符号和代数计算国际研讨会论文集，ISSAC 2011，美国加利福尼亚州圣何塞，2011年6月7日至11日。纽约州纽约市：计算机协会（ACM）。329--336（2011年；Zbl 1323.68385） 全文： 内政部