亚历山德罗·西马蒂;恩里科·金西格里亚;马可·皮斯托雷;马可·罗维里;罗伯托·塞巴斯蒂亚尼;阿曼多·塔切拉 集成了基于BDD和基于SAT的符号模型检查。 （英语） Zbl 1057.68623号 亚历山德罗·阿曼多（编辑），《组合系统的前沿》。2002年4月8日至10日，意大利圣玛格丽塔利古雷，FroCos 2002，第四届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43381-3）。莱克特。注释计算。科学。2309, 49-56 (2002).MSC公司：60年第68季度 68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit｛A.Cimatti｝等人，Lect。注释计算。科学。2309、49-56（2002年；Zbl 1057.68623） 全文： 链接
亚历山德罗·西马蒂;埃德蒙·克拉克;恩里科·金西格里亚;福斯托·金奇利亚;马可·皮斯托雷;马可·罗维里;罗伯托·塞巴斯蒂亚尼;阿曼多·塔切拉 NuSMV 2：用于符号模型检查的OpenSource工具。 （英语） Zbl 1010.68766号 Brinksma，Ed（编辑）等人，《计算机辅助验证》。2002年7月27日至31日，丹麦哥本哈根，第14届国际会议，CAV 2002。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2404, 359-364 (2002).MSC公司：68单位99 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.Cimatti｝等人，Lect。注释计算。科学。2404359-364（2002年；Zbl 1010.68766） 全文： 链接