亚历山德罗·西马蒂;埃德蒙·克拉克;恩里科·金西格里亚;福斯托·金奇利亚;马可·皮斯托雷;马可·罗维里;罗伯托·塞巴斯蒂亚尼;阿曼多·塔切拉 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） 全文： 链接
亚历山德罗·西马蒂;埃德蒙·克拉克;福斯托·金奇利亚;马可·罗维里 NuSMV：一种新的符号模型检查器。 （英语） Zbl 1059.68582号 国际期刊软件。技术工具。Transf公司。第2卷第4期，第410-425页（2000年）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式 全文： DOI程序
A.西马蒂。;E.克拉克。;Giunchiglia，F。;Roveri，M。 NuSMV：一种新的符号模型验证器。 （英语） Zbl 1046.68587号 Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。注释计算。科学。1633, 495-499 (1999).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Lect。注释计算。科学。1633495-499（1999年；Zbl 1046.68587）