娜塔莎·约加南达·杰普;汤姆·梅尔姆;丹尼尔·克罗宁 使用模拟关系通过等价性检查增强主动模型学习。 （英语） 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许可证
穆克吉，拉杰迪普;彼得·施拉梅尔;利奥波德·哈勒;丹尼尔·克罗宁;汤姆·梅尔姆 将CDCL提升到基于模板的抽象域以进行程序验证。 （英语） Zbl 1495.68139号 D’Souza，Deepak（编辑）等人，《验证和分析自动化技术》。2017年10月3日至6日，印度浦那，第15届国际研讨会，亚视2017。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。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公司 链接