亚历山德罗·西马蒂;恩里科·金西格里亚;马可·皮斯托雷;马可·罗维里;罗伯托·塞巴斯蒂亚尼;阿曼多·塔切拉 集成了基于BDD和基于SAT的符号模型检查。 (英语) Zbl 1057.68623号 亚历山德罗·阿曼多(编辑),《组合系统的前沿》。2002年4月8日至10日,意大利圣玛格丽塔利古雷,FroCos 2002,第四届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43381-3)。莱克特。票据计算。科学。2309, 49-56 (2002).MSC公司:第68季度第60季度 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 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Lect。票据计算。科学。2404359-364(2002年;Zbl 1010.68766) 全文: 链接