马图尔，乌芒；马杜苏丹，P。；马赫什·维斯瓦纳坦 程序验证模公理的决定因素是什么？ （英语） Zbl 1483.68200号 Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2020，2020年4月25日至30日，爱尔兰都柏林。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12079, 158-177 (2020).MSC公司：60年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{U.Mathur}等人，Lect。票据计算。科学。12079，158--177（2020；Zbl 1483.68200） 全文： 内政部 arXiv公司
彼得·施拉梅尔；丹尼尔·克罗宁；布莱恩，马丁；鲁本·马丁斯；蒂诺·特伊格；汤姆·比恩米勒 嵌入式软件的增量有界模型检查。 （英语） Zbl 1375.68081号 正式Asp。计算。 29，第5期，911-931（2017）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Schrammel}等人，《形式语法》。计算。29，第5号，911--931（2017；Zbl 1375.68081） 全文： 内政部 arXiv公司