阿拉斯泰尔·唐纳森。;亚历山大·凯撒;丹尼尔·克罗宁;迈克尔·陶奇尼格;托马斯·沃尔 对称并发程序的反示例引导抽象细化。 （英语） Zbl 1284.68179号 形式方法系统。设计。 41，编号1，25-44（2012）.MSC公司：68号30 60年第68季度 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Donaldson}等人，《形式方法系统》。设计。41、第1号、第25-44号（2012年；Zbl 1284.68179） 全文： 内政部 链接
艾苏贝汀坎;特夫菲克·布尔坦 使用验证设计的高可靠性并发编程。 （英语） Zbl 1121.68027号 正式Asp。计算。 19，第2期，243-268（2007）.MSC公司：68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Betin-Can}和\textit{T.Bultan}，正式Asp。计算。19，第2号，243--268（2007；Zbl 1121.68027） 全文： 内政部
丹尼斯·R·达姆。;Kedar S.Namjoshi。 猎户座：C和C++程序静态错误分析的高精度方法。 （英语） Zbl 1196.68039号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2005年11月1日至4日，荷兰阿姆斯特丹，第四届国际研讨会，FMCO 2005。修订的讲座。柏林：施普林格出版社（ISBN 3-540-36749-7/pbk）。计算机科学讲义4111，138-160（2006）。MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Dams}和\textit{K.S.Namjoshi}，莱克特。注释计算。科学。4111、138--160（2006；Zbl 1196.68039） 全文： 内政部
Koushik森;马赫什·维斯瓦纳坦 使用异步原子方法对多线程程序进行模型检查。 （英语） Zbl 1188.68198号 Ball，Thomas（编辑）等人，《计算机辅助验证》。第18届国际会议，CAV 2006，美国华盛顿州西雅图，2006年8月17日至20日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-37406-X/pbk）。计算机科学讲义4144300-314（2006）。MSC公司：60年第68季度 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Sen}和\textit{M.Viswanathan}，莱克特。注释计算。科学。4144300-314（2006年；兹比尔1188.68198） 全文： 内政部
玛丽亚·阿尔普特;玛丽亚·德尔马·加拉多;埃内斯托·皮门特尔;艾丽西亚·维拉纽埃娃 用于tccp程序抽象模型检查的语义框架。 （英语） Zbl 1087.68053号 西奥。计算。科学。 346，第1期，58-95（2005）.MSC公司：60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，Theor。计算。科学。346，编号1，58--95（2005；Zbl 1087.68053） 全文： 内政部
拉杰夫·阿鲁尔 层次状态机的形式化分析。 （英语） Zbl 1274.68172号 Dershowitz，Nachum（编辑），《验证：理论与实践》。在佐哈尔·曼纳64岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-21002-4/pbk）。计算机科学课堂讲稿2772，42-66（2003）。MSC公司：60年第68季度 68甲19 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}，莱克特。注释计算。科学。2772,42--66（2003年；Zbl 1274.68172） 全文： 内政部
曼达纳州瓦齐里;丹尼尔·杰克逊 使用约束解算器检查堆操作过程的属性。 （英语） Zbl 1031.68518号 Garavle，Hubert（编辑）等人，《系统构建和分析的工具和算法》。2003年4月7日至11日，作为欧洲软件理论和实践联合会议的一部分，在波兰华沙举行的2003年第九届国际会议TACAS。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2619, 505-520 (2003).MSC公司：68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Vaziri}和\textit{D.Jackson}，莱克特。注释计算。科学。2619505--520（2003年；Zbl 1031.68518） 全文： 链接
哈维尔·埃斯帕尔扎 并发软件静态分析的代数方法。 （英语） Zbl 1015.68604号 Hermenegildo，Manuel V.（编辑）等，《静态分析》。2002年9月17日至20日在西班牙马德里举行的2002年SAS第九届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2477, 3 (2002).MSC公司：68单位99 68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}，莱克特。注释计算。科学。2477,3（2002年；Zbl 1015.68604） 全文： 链接