德克·拜尔;马蒂亚斯·丹格尔 PDR软件验证：最新技术的实现。 （英语） Zbl 1507.68178号 Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 3-21 (2020).MSC公司：第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}和\textit{M.Dangl}，莱克特。注释计算。科学。12078，3--21（2020；Zbl 1507.68178） 全文： 内政部 arXiv公司
马特奥·马雷斯科蒂;安蒂·E·J·海瓦·里宁。;娜塔莎·莎莉吉娜 SMTS：分布式可视化约束求解。 （英语） 兹比尔1415.68197 Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 534-542 (2018).MSC公司：68T20型 68宽10 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{M.Marescotti}等人，EPiC Ser。计算。57534-542（2018年；兹比尔1415.68197） 全文： 内政部
亚历山德罗·西马蒂;阿尔贝托·格里乔;塞尔吉奥·莫弗;Stefano托内塔 使用IC3和谓词抽象进行无限状态不变量检查。 （英语） Zbl 1368.68245号 形式方法系统。设计。 49，第3期，190-218（2016）.MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，《形式方法系统》。设计。49，第3号，190--218（2016；Zbl 1368.68245） 全文： 内政部