@收款{zbMATH01903365，作者={西马蒂、亚历山德罗和克拉克、埃德蒙德和金奇利亚、恩里科和金奇莉亚、福斯托和皮斯托尔、马可和罗维里、马可与塞巴斯蒂亚尼、罗伯托和塔切拉、阿曼多}，Title={{NuSMV}2:{An}{OpenSource}符号模型检查工具}，BookTitle={计算机辅助验证。第14届国际会议，2002年CAV，丹麦哥本哈根，2002年7月27日至31日。诉讼}，国际标准图书编号={3-540-43997-8}，页码＝{359-364}，年份={2002}，出版商={柏林：施普林格}，语言={英语}，关键词={68U99,68Q60}，URL={link.springer.de/link/service/series/0558/bibs/2404/24040359.htm}，zbMATH={1903365}，Zbl={1010.68766}}