Caduceus公司 swMATH ID: 4625 软件作者: Jean-Christophe Filliátre,Claude Marché 描述: Caduceus曾经是ProVal团队中Jean-Christophe Filliátre和Claude Marché在Why工具之上构建的C程序的验证工具。Caduceus现在已经过时,并被Frama-C完全吞并。 主页: http://caduceus.lri.fr/ 相关软件: 卡拉卡拉;Why3号机组;布吉;z3(零3);规格#;Coq公司;JML公司;VCC(沃尔沃汽车公司);电子稳定控制系统/Java;简化;伊莎贝尔/HOL;cvc3型;ACSL公司;ASTREE公司;VeriFast公司;Frama-C公司;达夫尼;ACL2型;HOL-Boogie公司;艾菲尔 引用于: 54文件 全部的 前5名108位作者引用 7 克劳德·马奇 5 西尔维·博尔多 4 Jean-Christophe Filliátre 4 Leino,K.Rustan M。 4 扬尼克·莫伊 3 Böhme,萨沙 3 纪尧姆·梅尔金德 3 沃尔夫,伯克哈特 2 曼纽尔·巴博萨 2 弗朗索瓦·克莱门特 2 米凯拉·梅耶罗 2 彼得·米勒 2 豪尔赫·索萨·品托 2 格里高·罗什乌 2 沃尔夫拉姆·舒尔特 2 斯蒂芬·西格尔(Stephen F.Siegel)。 2 皮埃尔·韦斯 2 托马斯·怀斯 2 蒂莫西·齐科尔。 1 萨伊德·阿贝德 1 沃尔夫冈·阿伦特 1 奥特曼·阿伊特·穆罕默德 1 艾亚德·阿尔卡萨 1 Andronick,六月 1 大卫·阿斯皮纳尔 1 阿里·阿亚德 1 何塞·巴塞拉尔·阿尔梅达 1 安妮迪亚·班纳吉 1 伦纳特·贝林格 1 西尔万·博尔梅 1 布鲁姆利,比利·鲍勃 1 理查德·布贝尔 1 卢卡斯·布尔瓦恩 1 帕特里斯·沙林 1 布埃纳·切塔利 1 玛丽亚·克里斯塔基斯 1 赫莱内·科拉维扎 1 Jean-François Couchot 1 西尔万·戴勒 1 马提亚斯·达姆 1 德伦巴切,简 1 卓斯,克莱尔 1 马克西米利安·迪拉 1 马尔科·艾尔斯 1 楚其·埃里森 1 勒文特·埃尔科克 1 曼努埃尔·Fähndrich 1 玛丽亚·乔昂·弗雷德 1 卡洛·阿尔贝托·福里亚 1 霍尔格·加斯特 1 马修·乔治诺 1 林赛·格罗夫斯。 1 弗洛里安·哈夫特曼 1 雷纳·哈内尔 1 大卫·豪扎尔 1 希尔斯,马克 1 Jochen Hoenicke公司 1 马丁·霍夫曼 1 巴特·雅各布斯 1 佩里·詹姆斯。 1 塞萨里·卡利西克 1 亚历山大·克努佩尔 1 亚历山大·克劳斯 1 维克多·昆卡 1 莱斯库耶,圣菲 1 弗朗西斯科·洛戈佐 1 汉斯·沃尔夫冈·洛伊德尔 1 肯·马德勒 1 拉尔夫·马提斯 1 安德鲁·麦克里特 1 库尔特·梅尔霍恩 1 Severin Meier 1 贝特朗·梅耶 1 阿尔贝托·莫米利亚诺 1 米查·莫斯卡尔 1 戴维·诺曼(David A.Naumann)。 1 阮,Thi Minh Tuyen 1 佩奇,丹 1 马克·潘特尔 1 卡斯滕·伊曼纽尔·帕迪拉 1 Paulin Mohring,克莉丝汀 1 大卫·J·皮尔斯。 1 弗兰克·皮森斯 1 鲁齐卡皮斯卡 1 安德烈亚斯·波德尔斯基 1 卢卡·普利纳 1 西尔维奥·兰伊斯 1 克里斯托夫·林盖森 1 克里斯汀·里兹卡拉 1 米歇尔·鲁赫 1 伊娜·谢弗 1 马丁·施瓦夫 1 马丁·斯特雷克 1 阿曼多·塔切拉 1 阿斯玛塔法特 1 亚历杭德罗·塔马利特 1 托马斯·图姆 1 Nishant Totla公司 1 德坎·特兰 1 马蒂亚斯·乌尔布里奇 …还有8位作者 全部的 前5名12篇连载文章中引用 8 自动推理杂志 3 计算机科学中的数学 2 计算机程序设计科学 2 系统设计中的形式化方法 1 计算机与数学及其应用 1 理论计算机科学 1 符号计算杂志 1 信息与计算 1 AI通信 1 限制条件 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在6个字段中引用 53 计算机科学(68至XX) 10 数学逻辑和基础(03-XX) 7 数值分析(65-XX) 3 信息与通信理论、电路(94-XX) 2 偏微分方程(35-XX) 1 组合数学(05-XX) 按年份列出的引文