詹皮埃罗·卡波迪;塞尔吉奥·诺科;斯特凡诺·奎尔 对模型检查器进行基准测试，以改进算法并调整性能。 （英语） Zbl 1247.68160号 形式方法系统。设计。 39，第2期，205-227（2011）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Cabodi}等人，《形式方法系统》。设计。39，第2号，205-227（2011；Zbl 1247.68160） 全文： DOI程序
詹皮埃罗·卡波迪 Meta-BDDs：布尔函数分层符号操作的分解表示。 （英语） Zbl 0991.68547号 Berry，Gérard（编辑）等人，《计算机辅助验证》。2001年7月18日至22日，第13届国际会议，CAV 2001，法国巴黎。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2102, 118-130 (2001).MSC公司：60年第68季度 65年第68季度 68瓦30 06E30年 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{G.Cabodi}，莱克特。注释计算。科学。2102118-130（2001年；Zbl 0991.68547） 全文： 链接