克劳迪奥·蒙吉;斯波莱蒂尼，波拉;玛莎·契契克;卡洛·盖齐 控制器迭代设计的验证驱动框架。 （英语） Zbl 1425.68262号 正式Asp。计算。 31,5号，459-502（2019）.MSC公司：60年第68季度 03B44号 68N99型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人，正式Asp。计算。31，第5号，459--502（2019；Zbl 1425.68262） 全文： DOI程序
阿尔巴古提·奥斯;阿里·古芬克尔;玛莎·契契克 鲸鱼：一种基于插值的过程间验证算法。 （英语） Zbl 1325.68137号 Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148，39-55（2012）。MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Albarghouthi}等人，Lect。票据计算。科学。7148，39-55（2012；Zbl 1325.68137） 全文： DOI程序
玛莎·契契克;阿里·古芬克尔;贝内特·德弗鲁;阿尔伯特·莱;史蒂夫·伊斯特布鲁克 符号多值模型检查的数据结构。 （英语） Zbl 1109.68063号 形式方法系统。设计。 29，第3期，295-344（2006）.MSC公司：60年第68季度 68第05页 68T27型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.Chechik}等人，《形式方法系统》。设计。29，第3号，295-344（2006年；Zbl 1109.68063） 全文： DOI程序