@收款{zbMATH00177260，作者＝{Morris，James M.和Howard，Mark}，标题={通过超有限理想机的符号执行进行程序验证}，BookTitle=｛计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学}，国际标准图书编号={0-8218-6594-3；0-89791-386-8}，页码={441--462}，年份={1991年}，出版商={普罗维登斯，RI:美国数学学会；纽约，NY:计算机协会}，语言={英语}，关键词={68Q60,03H10,65G99}，zbMATH={177260}，Zbl={0786.68066}}