努西姆 swMATH标识： 4131 软件作者： 亚历山德罗·西马蒂；克拉克，埃德蒙；朱西格里亚，福斯托；罗维里，马可；罗伯托·卡瓦达、米歇尔·多里加蒂、亚历山德罗·马里奥蒂、安德里亚·米凯利、塞尔吉奥·莫弗、马可·罗韦里、安德烈·查尔采夫 说明： NuSMV是一个符号模型检查器，由FBK-IRST信息技术中心的嵌入式系统部门、卡内基梅隆大学的模型检查小组、热那瓦大学的机械化推理小组和特伦托大学的机械化推理小组联合开发。NuSMV是第一个基于BDDs的模型检查器SMV的再实现和扩展。NuSMV被设计成一个开放的模型检验体系结构，可以可靠地用于工业设计的验证，作为定制验证工具的核心，作为正式验证技术的试验台，并应用于其他研究领域。NuSMV2结合了基于BDD的模型检查组件（该组件利用了科罗拉多大学Fabio Somenzi开发的CUDD库）和基于SAT的模型检查组件，该组件包括一个基于RBC的有界模型检查器，可以连接到miniat SAT解算器和/或ZChaff SAT解算器。热那瓦大学提供了SIM，一个最先进的SAT求解器，直到2.5.0版才使用，RBC包用于有界模型检查算法。 主页： http://nusmv.fbk.eu/ 编程语言： 没有 操作系统： 没有 依赖项： 没有 关键词： 符号模型检查;时间逻辑;自动验证;技术转让工具 相关软件： 旋转;乌帕阿尔;卡德;糠;棱镜;班德拉;Java探路者;LTL2BA;高超声速;神圣的;z3型;爆炸;PVS公司;CADP;塞萨尔;CBMC公司;斑点;摩卡;Cadence SMV公司;克洛诺斯 参考文献： 264种出版物 标准条款 1个出版物描述软件，包括1个出版物在zbMATH 年 NuSMV：一种新的符号模型检验器。 Zbl 1059.68582亚历山德罗·西马蒂;克拉克，埃德蒙;朱西格里亚，福斯托;罗维里，马可 2000 全部的 前5名572位作者引用 18 亚历山德罗·西马蒂 13 罗维里，马可 9 克拉克，埃德蒙·梅尔森俊。 8 瓦迪，莫希·雅科夫 6 比尔，阿明 6 乔治，玛丽安 5 迪亚多，詹弗兰科 5 段振华 5 朱西格里亚，恩里科 5 Heljanko，Keijo 5 伊帕特，佛罗伦萨 5 朱蒂拉，汤米A。 5 科努尔，萨瓦 5 阿莱西奥·洛穆西奥 5 舒帕，维克多 4 阿鲁尔，拉吉耶夫 4 亚提基斯，亚历山大 4 贝尔托利，皮耶戈乔 4 库克，拜伦 4 法吉斯，弗朗索瓦 4 朱西格里亚，福斯托 4 拉特瓦拉，蒂莫 4 左卡鲁，拉鲁卡 4 马特斯库，拉杜 4 皮斯托尔，马可 4 塞巴斯蒂安尼，罗伯托 4 塞尔格特，马雷克J。 4 塔切拉，阿曼多 4 田聪 4 托内塔，斯特凡诺 三 巴纳特，吉 三 波扎诺，马可 三 布里姆，卢博什 三 查克拉波蒂，上提克 三 切奇，玛莎 三 彗星，让保罗 三 狄克逊，克莱尔 三 德怀尔，马修B。 三 格鲁伯格，奥娜 三 阿丽·古芬克尔 三 哈特克利夫，约翰 三 科宁，丹尼尔 三 孟吉，克劳迪奥 三 南，元红 三 彭泽克，沃伊切赫 三 斯特里奇曼，奥弗 三 筑地、大津弘 三 维思，赫尔穆特 三 张楠 2 贝内代蒂，马可H。 2 贝尼什，尼古拉 2 伯诺，吉尔 2 伯萨尼，马塞罗·玛丽亚 2 Bonakdarpour，Borzoo 2 布尔坦，特夫菲克 2 塞特奇，罗迪卡 2 达斯古塔，帕拉布 2 贾科莫，朱塞佩 2 德容，希德 2 大仲马，埃斯特尔 2 埃勒斯，吕迪格 2 弗雷泽，戈登 2 安吉洛，格兰蒂尼 2 何希明 2 Hustadt，Ullrich 2 Jobstmann，芭芭拉 2 科斯金，埃里克 2 科兹马，拉兹洛 2 兰格，马丁 2 拉鲁西尼，弗朗索瓦 2 李建文 2 罗向玉 2 Madhusudan，Parthasarathy 2 马拉茶，马可 2 蒙泰罗，佩德罗T。 2 搬运工，塞吉奥 2 尼梅尔，艾伯特 2 哇克宁，乔尔O。 2 Păsăreanu，科丽娜s。 2 帕斯瓦，塞缪尔 2 帕特里齐，法比奥 2 皮特，杰里米 2 濮、葛光 2 雷蒙迪，佛朗哥 2 拉斯金，让·弗朗索瓦 2 罗林斯，布莱克·C。 2 理查德，阿德里安 2 罗森布鲁斯，大卫A。 2 罗西，Matteo A.C。 2 吕默，菲利普 2 萨弗雷内克，大卫 2 施佩尔，安德烈 2 莎莉吉娜，娜塔莎 2 伊莱·辛格曼 2 斯波莱蒂尼，保罗 2 苏，凯乐 2 斯皮卡，马金 2 斯雷特，麦基 2 塔哈尔，索菲涅 2 保罗，特拉维索 …还有472位作者 全部的 前5名在49个系列中引用 22 系统设计中的形式化方法 18 计算的形式化方面 11 理论计算机科学 7 人工智能 5 信息与计算 4 信息学报 4 自动推理杂志 三 计算机与系统科学杂志 三 计算机基础理论 三 应用数学杂志 三 计算逻辑学报 三 应用逻辑杂志 三 程序设计中的逻辑和代数方法杂志 2 计算机程序设计学 2 计算机科学与技术杂志 2 逻辑与计算杂志 2 离散事件动态系统 2 分布式计算 2 人工智能研究杂志 2 逻辑与代数程序设计杂志 2 中国的科学。F系列 2 膜计算杂志 1 国际通用系统杂志 1 信息处理信函 1 自动 1 编程与计算机软件 1 布达佩斯汀科学大学年鉴。计算机部门 1 控制论与系统分析 1 控制科学档案 1 北欧计算杂志 1 计算系统理论 1 IGPL逻辑杂志 1 组合优化期刊 1 1 电子商务研究 1 逻辑程序设计理论与实践 1 大便器。意大利大学。意甲Matematicăși信息ă 1 国际纯粹与应用数学杂志 1 计算机语言、系统与结构 1 软件杂志 1 理论计算机科学中的电子笔记 1 计算机科学中的逻辑方法 1 国际智能计算与控制论杂志 1 对称性 1 计算机科学前沿 1 计算机科学评论 1 贝里赫特与马蒂克 1 普里克拉德纳亚-迪克雷特纳亚-马特马提卡 1 多智能体系统、人工社会和模拟组织 全部的 前5名在10个字段中引用 251 计算机科学（68-XX） 52 数理逻辑与基础（03-XX） 17 生物学和其他自然科学（92-XX） 12 系统论；控制（93-XX） 6 运筹学，数学规划（90-XX） 6 博弈论、经济学、金融学和其他社会和行为科学（91-XX） 2 组合数学（05-XX） 2 动力系统与遍历理论（37-XX） 2 信息与通信理论，电路（94-XX） 1 概率论与随机过程（60-XX） 按年份引用出版物