@收款{zbMATH07157054，作者={Bueno，Denis and Sakallah，Karem A.}，标题={{EUFORIA}：使用未解释的函数完成软件模型检查}，BookTitle={验证、模型检查和抽象解释。第20届国际会议，VMCAI 2019，卡斯凯斯，葡萄牙，2019年1月13-15日。诉讼}，ISBN＝{978-3-030-11244-8；978-3-030-11245-5}，页码={363--385}，年份={2019}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-11245-5_17}，关键词={68Q60}，URL={www.osti.gov/biblio/1592217}，zbMATH={7157054}，Zbl={1522.68299}}