×

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位作者

按年份列出的引文