伙计 swMATH编号： 5791 软件作者： 乔恩·林德·尼尔森 描述： BuDDy是Jorn-Lind-Nielsen博士项目有限状态机模型检查的一部分。该包已经从简单的二进制决策图（BDD）介绍演变为完整的BDD包，包含所有标准BDD操作、重新排序、C++接口和大量文档。 主页： https://sourceforge.net/projects/buddy/ 编程语言： C、 C++ 关键词： 科学/工程;数学;软件开发;图书馆 相关软件： CUDD公司;西尔万;PolyBoRi公司;自旋蛋白;github;PDDL公司;毫升;加密MiniSat;单一;Oink公司;VMC公司;mCRL2型;增量CCS;PGSolver公司;精彩;添加-Lib;密码路径;日;WhyML公司;Why3号机组 引用于： 26文件 全部的 前5名60位作者引用 3 安徒生、亨利克·雷夫 2 约恩·林德·尼尔森 2 阿里·莫瓦加尔 2 古拉姆雷扎·索图德 1 阿金（Adam P.Arkin）。 1 阿沃茨，Dzintars 1 格德·贝尔曼 1 安·布兰德福德 1 Randal E.布莱恩特。 1 迈克尔·卡宾 1 尼古拉斯·科斯特斯 1 保罗·库松 1 埃里克·P·德文克。 1 杜晓敏 1 马苏德·易卜拉希米 1 斯特凡·爱德坎普 1 马修·金斯伯格。 1 拉杰夫·普拉巴卡尔·戈尔 1 尼科斯·戈罗甘尼斯 1 谢尔盖·哈达德 1 塔里克·哈季奇 1 亚历山大·哈麦斯 1 帕特里夏·M·希尔。 1 亨利克·胡尔加德 1 安东尼·亨特 1 查尔斯·海曼斯 1 Jean-Michel伊利 1 约翰·彼得·因德罗伊 1 Rune Möller Jensen 1 凯斯·克莱 1 Fabrice Kordon公司 1 Kristoffersen，Káre J。 1 奎杰珀，沃特 1 罗伯托·斯卡拉 1 莫妮卡·兰姆。 1 金·古德斯特兰·拉森 1 罗伯特·米卡西奥 1 大卫·皮辛格 1 谢尔盖·普利亚苏诺夫 1 波兰人，塞尔吉奥 1 秦、郑 1 赫瓦尔德拉德姆 1 莱恩·伦瑞奇 1 Shan、Laixiang 1 保罗·A·G·西维洛蒂。 1 戴维·斯基德莫尔 1 福斯托·斯波托 1 萨蒂亚穆尔西·苏巴拉扬 1 索菲涅·塔哈尔 1 莫里斯·比克。 1 蒂里·米格（Yann Thierry-Mieg） 1 汤姆森，吉米 1 沙万·库马尔·蒂瓦里 1 范德波尔，扬·科内利斯 1 谢夫·范·卢 1 Manuela M.Veloso。 1 安德烈亚·维斯康蒂 1 约翰·威利 1 Tim A.C.Willemse。 1 熊海燕 全部的 前5名12篇连载文章中引用 3 人工智能研究杂志 2 系统设计中的形式化方法 1 信息学报 1 人工智能 1 计算物理杂志 1 国际近似推理杂志 1 计算的形式方面 1 有限域及其应用 1 计算系统理论 1 计算机语言、系统和结构 1 计算智能 1 计算机科学前沿 全部的 前5名在12个字段中引用 23 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 3 数论（11-XX） 3 博弈论、经济学、金融和其他社会和行为科学（91-XX） 3 信息与通信理论、电路（94-XX） 1 组合数学（05-XX） 1 有序，格，有序代数结构（06-XX） 1 场论和多项式（12-XX） 1 交换代数（13-XX） 1 群论与推广（20-XX） 1 概率论与随机过程（60-XX） 1 数值分析（65-XX） 按年份列出的引文