哈坎·L·S·尤尼斯。;埃德蒙·克拉克（Edmund M.Clarke）。;保罗·祖利亚尼 概率特性的统计验证，直到。 （英语） Zbl 1325.68158号 Davies，Jim（编辑）等人，《形式方法：基础和应用》。2010年11月8日至11日在巴西纳塔尔举行的第13届巴西正式方法研讨会，SBMF 2010。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19828-1/pbk）。计算机科学课堂讲稿6527144-160（2011）。MSC公司：第68季度第60季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.L.S.Younes}等人，Lect。注释计算。科学。6527，144-160（2011；Zbl 1325.68158） 全文： 内政部 链接
埃德蒙·克拉克（Edmund M.Clarke）。 模型检查的诞生。 （英语） 兹比尔1142.68046 Grumberg，Orna（编辑）等人，25年的模型检查。历史、成就、观点。柏林：施普林格出版社（ISBN 978-3-540-69849-4/pbk）。计算机科学课堂讲稿5000，1-26（2008）。 审核人：Klaus D.Kiermeier（柏林） MSC公司：第68季度第60季度 03B44号 03B70号 68-03 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}，莱克特。注释计算。科学。5000，1-26（2008；Zbl 1142.68046） 全文： 内政部
埃德蒙·克拉克;希曼舒·杰恩;丹尼尔·克罗宁 使用谓词抽象验证SpecC。 （英语） Zbl 1117.68046号 形式方法系统。设计。 30，第1期，5-28（2007）.MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人，《形式方法系统》。设计。30，第1号，第5--28号（2007；Zbl 1117.68046） 全文： 内政部
克里斯特尔·拜尔;埃德蒙·克拉克（Edmund M.Clarke）。;瓦西利基·哈特纳斯·加姆豪森;玛尔塔·奎亚特科夫斯卡;马克·瑞恩 概率过程的符号模型检查。 （英语） Zbl 1401.68180号 Degano，Pierpaolo（编辑）等人，《自动化，语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林：Springer-Verlag（ISBN 978-3-540-63165-1/pbk；978-3-540-69194-5/电子书）。计算机科学课堂讲稿1256430-440（1997）。MSC公司：第68季度第60季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。12561430-440（1997年；兹bl 1401.68180） 全文： 内政部 链接
A.布朗。;E.M.克拉克。;Jha，S。;龙，D.E。;西马里罗。 一种用于评估不动点表达式的改进算法。 （英语） Zbl 0901.68118号 西奥。计算。科学。 178，编号1-2，237-255（1997）.MSC公司：第68季度第60季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{A.Browne}等人，Theor。计算。科学。178，编号1--2，237--255（1997；Zbl 0901.68118） 全文： 内政部
J.R.伯奇。;E.M.克拉克。;麦克米兰，K.L。;迪尔·D·L。;黄，L.J。 符号模型检查：（10^{20}）状态及以上。 （英语） Zbl 0753.68066号 Inf.计算。 98，第2期，142-170（1992）.MSC公司：第68季度第60季度 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Burch}等人，《信息计算》。98，第2号，142--170（1992；Zbl 0753.68066） 全文： 内政部