罗马克里希南，C.R。;罗马克里希南，I.V。;斯科特·斯莫尔卡。;董逸飞;杜晓群;阿比克·罗伊乔杜里;Venkatakrishnan，V.N.公司。 XMC：一个基于逻辑编程的验证工具集。 （英语） Zbl 0974.68571号 Emerson，E.Allen（编辑）等人，《计算机辅助验证》。第十二届国际会议，CAV 2000。2000年7月15日至19日，美国伊利诺伊州芝加哥。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1855, 576-580 (2000). 关于整个系列，请参见[Zbl 0941.00029号]. 引用于三文件 MSC公司： 68单位99 计算方法和应用 60年第68季度 规范和验证（程序逻辑、模型检查等） 第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68N17号 逻辑编程 PDF格式BibTeX公司 XML格式引用 \textit{C.R.Ramakrishnan}等人，Lect。注释计算。科学。1855576-580（2000年；Zbl 0974.68571）