丹尼尔·克罗宁;娜塔莎·莎莉吉娜;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。 使用状态和转换不变量的循环摘要。 （英语） 兹比尔1291.68262 形式方法系统。设计。 42，第3期，221-261（2013）.MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛D.Kroening｝等人，Form.Methods Syst。设计。42，第3号，221--261（2013；Zbl 1291.68262） 全文： 内政部 链接
弗朗西斯科·兰扎托;奥利维娅·罗西（Olivia Rossi Doria）;弗朗西斯科·塔帕罗 一种前向的抽象细化算法。 （英语） Zbl 1138.68458号 Logozzo，Francesco（编辑）等人，《验证、模型检查和抽象解释》。2008年1月7日至9日，第九届国际会议，VMCAI 2008，美国旧金山。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78162-2/pbk）。计算机科学课堂讲稿4905248-262（2008）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ranzato}等人，Lect。票据计算。科学。4905248--262（2008年；Zbl 1138.68458） 全文： 内政部