萨加·查基;阿里·古芬克尔 基于BDD的符号模型检查。 （英文） Zbl 1392.68239号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。219-245 (2018).MSC公司：60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}和\textit{A.Gurfinkel}，in：模型检查手册。查姆：斯普林格。219--245（2018；Zbl 1392.68239） 全文： 内政部
阿尔巴古提·奥斯;阿里·古芬克尔;玛莎·契契克 鲸鱼：一种基于插值的过程间验证算法。 （英文） 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） 全文： 内政部
玛莎·契契克;阿里·古芬克尔;贝内特·德弗鲁;阿尔伯特·莱;史蒂夫·伊斯特布鲁克 符号多值模型检查的数据结构。 （英文） 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） 全文： 内政部