第二代外国存托凭证 swMATH ID: 11466 软件作者： 正式系统 描述： FDR2是一个细化检查器，用于建立以CSP表示的模型属性。FDR2的未授权版本可供下载，但仅限于提供的示例脚本。许可证可用于商业和学术用途。 主页： https://www.cs.ox.ac.uk/projects/fdr/ 相关软件： 自旋蛋白；Z轴；马戏团；探查；卡斯珀；ProB公司；CADP公司；csp2B型；NuSMV公司；LOTOS公司；Z/EVES公司；CSP防护；JML公司；FDR3公司；里奥；罗丹；合金；杰克；捷克共和国；mCRL2型 引用于： 45文件 全部的 前5名78位作者引用 6 海克·卫尔海姆 4 杰里米·吉本斯 4 奥古斯托·桑帕约。 4 Peter Y.H.Wong。 三 安德鲁·威廉，罗斯科 2 约翰·德里克 2 马克·德·因弗诺 2 迈克尔·戈德史密斯 2 保罗·豪威尔斯 2 Kwiatkowska，Marta Z。 2 洛维，加文 2 亚历山大·莫塔。 2 托比·默里 2 罗德里戈·A·拉莫斯。 2 王旭 2 詹姆斯·C·P·伍德科克。 1 Al-Humaimedy，Abeer S。 1 佩德罗·安东尼诺 1 维克托·班杜尔 1 Jens Bendisposto公司 1 阿兰·邦迪 1 佛罗伦萨雪佛龙 1 罗伯特·J·科尔文。 1 萨迪·克里斯 1 阿娜·克里斯蒂娜·维埃拉·德·梅洛 1 柯特林·迪马 1 法尔科奥，弗拉维亚 1 玛丽贝尔·费尔南德斯 1 贝诺·弗雷金 1 马克·弗拉皮耶 1 利奥·弗雷塔斯 1 休伯特·加拉维 1 安娜·G·加里斯。 1 克里斯·乔治（Chris W.George）。 1 格林，伊恩 1 埃尔萨·甘特。 1 伊恩·海耶斯。 1 瑞科·赫克尔 1 奥雷利·胡罗 1 吉野Isobe 1 朱利亚诺·伊奥达 1 巴特·雅各布斯 1 莫里茨·克莱恩 1 埃尔达尔·克莱纳 1 乔森·马尔特·库斯特 1 弗雷德里克·朗 1 Michael Leuschel先生 1 李丽怡 1 威廉·曼斯基 1 拉杜·马特埃斯库 1 尼克·莫法特 1 迈克尔·莫勒 1 劳尔蒙罗伊 1 亚历杭德罗·莫塔 1 弗里德格·穆夫克 1 汤姆·纽科姆 1 西德尼·诺盖拉 1 奥尔德罗格（Ernst-Rüdiger Olderog） 1 马塞尔·奥利维拉 1 奥斯蒂克（Oostdijk）、马蒂恩·迪德里克（Martijn Diederik） 1 乔尔·欧·瓦克宁。 1 克里斯蒂娜·帕利卡列娃 1 尼古拉斯·帕帕尼科劳一世。 1 阿比盖尔·帕里萨卡·巴尔加斯 1 戴维·佩雷拉（David P.Pereira）。 1 菲利普·奎因内克 1 霍尔格·拉什 1 马库斯·罗根巴赫 1 戈登·托马斯·罗尔梅尔 1 托马斯·鲁罗斯 1 施耐德（Steve A.Schneider）。 1 塔皮娅·塔里法（Tapia Tarifa）、西尔维娅·利泽斯（Silvia Lizeth） 1 海伦·特里哈恩 1 罗恩·范德梅登 1 维克利斯、迪米特里斯 1 马蒂恩·沃尼尔 1 丹尼尔·沃尼什 1 张晨毅 全部的 前5名7篇连载文章中引用 9 计算的形式方面 8 计算机程序设计科学 三 理论计算机科学 2 逻辑与代数程序设计杂志 1 信息学报 1 计算机基础理论 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 45 计算机科学（68至XX） 三 数理逻辑与基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文