娜塔莎·约加南达·杰普;汤姆·梅尔姆;丹尼尔·克罗宁 使用模拟关系通过等价性检查增强主动模型学习。 （英语） Zbl 07815088号 形式方法系统。设计。 61，编号2-3，164-197（2022）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Y.Jeppu}等人，《形式方法系统》。设计。61，编号2--3，164-197（2022；Zbl 07815088） 全文： 内政部 OA许可证
汤姆·梅尔姆 符号轨迹评估。 （英语） 兹比尔1392.68261 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。831-870 (2018).MSC公司：60年第68季度 03B44号 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{T.Melham}，in：模型检查手册。查姆：斯普林格。831--870（2018；Zbl 1392.68261） 全文： 内政部
拉杰迪普·穆克吉;彼得·施拉姆;利奥波德·哈勒;丹尼尔·克罗宁;汤姆·梅尔姆 将CDCL提升到基于模板的抽象域以进行程序验证。 （英语） Zbl 1495.68139号 D’Souza，Deepak（编辑）等人，《验证和分析自动化技术》。2017年10月3日至6日在印度浦那举行的2017年第15届ATVA国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10482, 307-326 (2017).MSC公司：60年第68季度 68号30 68问题32 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Mukherjee}等人，Lect。注释计算。科学。10482、307--326（2017；Zbl 1495.68139） 全文： 内政部 arXiv公司 链接
吉姆·格兰迪;汤姆·梅尔姆;萨瓦·克里斯蒂奇;肖恩·麦克劳林 一阶解算器API的工具构建要求。 （英语） Zbl 1272.68358号 Armando，Alessandro（编辑）等人，《自动推理中决策过程的语用学第三次研讨会论文集》（PDPAR 2005），英国爱丁堡，2005年7月12日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》144，第2期，15-26页（2006年）。MSC公司：68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Grundy}等人，《电子》。注释Theor。计算。科学。144，No.2，15--26（2006；Zbl 1272.68358） 全文： 链接
吉姆·格兰迪;汤姆·梅尔姆;约翰·奥利里 用于硬件设计和定理证明的反射函数语言。 （英语） Zbl 1086.68526号 J.功能。程序。 16，第2期，157-196（2006）.MSC公司：68甲18 68吨15 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Grundy}等人，J.Funct。程序。16，第2号，157-196（2006年；兹bl 1086.68526） 全文： 内政部
赫德，乔（编辑）;汤姆·梅尔姆（编辑） 高阶逻辑中的定理证明。2005年8月22日至25日，第18届国际会议，TPHOLs 2005，英国牛津。诉讼程序。 （英语） Zbl 1087.68005号 计算机科学课堂讲稿3603.柏林：施普林格出版社（ISBN 3-540-28372-2/pbk）。ix，409页。(2005).MSC公司：68-06 68吨15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Hurd}（编辑）和textit{T.Melham}（主编），高阶逻辑中的定理证明。第18届国际会议，TPHOLs 2005，牛津，英国，2005年8月22日至25日。诉讼程序。柏林：施普林格出版社（2005；Zbl 1087.68005） 全文： 内政部
孔友素山都;汤姆·梅尔姆 正式分析了硬件的动态合成。 （英语） Zbl 0988.68021号 J.超级计算机。 19，第1期，7-22（2001）.MSC公司：68M99型 2007年8月 PDF格式BibTeX公司 XML格式引用 \textit{K.W.Susanto}和\textit{T.Melham}，J.超级计算机。19，第1号，第7--22号（2001；Zbl 0988.68021） 全文： 内政部
蒂齐亚娜·玛格丽亚（编辑）;汤姆·梅尔姆（编辑） 正确的硬件设计和验证方法。第11届IFIP工作组10。5高级研究工作会议，CHARME 2001，苏格兰利文斯顿，英国，2001年9月4日至7日。诉讼程序。 （英语） 兹比尔0971.00031 计算机科学课堂讲稿2144.柏林：施普林格出版社（ISBN 3-540-42541-1）。xii，482页（2001年）。MSC公司：00B25型 68-06 6800万 68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Margaria}（编辑）和\textit{T.Melham}（编），正确的硬件设计和验证方法。第11届IFIP工作组10。5高级研究工作会议，CHARME 2001，苏格兰利文斯顿，英国，2001年9月4-7日。诉讼程序。柏林：施普林格出版社（2001；Zbl 0971.00031）
路易斯·丹尼斯（Louise A.Dennis）。;格雷厄姆·柯林斯;迈克尔·诺里什;理查德·博尔顿;康拉德·斯林德;格雷厄姆·罗宾逊;戈登，迈克;汤姆·梅尔姆 PROSPER工具包。 （英语） Zbl 0971.68638号 Graf，Susanne（编辑）等人，《系统构建和分析的工具和算法》。第六届国际会议，TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1785年，78-92年（2000年）。MSC公司：68单位99 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Dennis}等人，Lect。注释计算。科学。1785年、78年至92年（2000年；Zbl 0971.68638）
巴特·雅各布斯;汤姆·梅尔姆 将依赖型理论转化为高阶逻辑。 （英语） Zbl 0788.68130号 Bezem，Marc（编辑）等人，《类型化Lambda结石及其应用》。1993年3月16日至18日在荷兰乌得勒支举行的1993年TLCA国际会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。第664209-229页（1993年）。MSC公司：68吨15 03B15号机组 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs}和\textit{T.Melham}，莱克特。注释计算。科学。664209--229（1993；Zbl 0788.68130）
T·梅尔姆。 高阶逻辑和硬件验证。 （英语） Zbl 0819.68015号 剑桥理论计算机科学丛书. 31. 剑桥：大学出版社。十三、 165页24.95英镑；39.95美元/hc（1993年）。MSC公司：68M99型 68-02 68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Melham}，高阶逻辑和硬件验证。剑桥：大学出版社（1993；Zbl 0819.68015） 全文： 内政部