×

弗拉马-C

swMATH ID: 4626
软件作者: 帕特里克·鲍丁;理查德·博尼肯(Richard Bonichon);洛伊克·科伦森;帕斯卡尔·库克;扎伊娜·达盖伊(Zaynah Dargaye);Jean-Christophe Filliátre;菲利普·赫尔曼;克劳德·马奇;本杰明·莫纳特;扬尼克·莫伊;安妮·帕卡莱特;维吉尔·普雷沃斯托;朱利安·西莫尔斯和鲍里斯·亚科博夫斯基
描述: Frama-C是一套专用于分析用C编写的软件源代码的工具。Frama-C-在一个协作框架中收集了多种静态分析技术。Frama-C的协作方法允许静态分析程序以框架中其他分析程序已经计算的结果为基础。由于这种方法,Frama-C提供了复杂的工具,例如切片器和依赖性分析。
主页: http://frama-c.com/
编程语言: C类
操作系统: Windows和Unix(Linux、Mac OS X…)
依赖项:
关键词: 扩展静态检查;静态验证;定理证明器;Java建模语言;JML4公司;电子稳定控制系统;电子稳定控制系统4
相关软件: Coq公司;Why3号机组;z3(零3);达夫尼;ACSL公司;卡拉卡拉;布吉;规格#;JML公司;VCC(沃尔沃汽车公司);PVS公司;VeriFast公司;伊莎贝尔/HOL;简化;毒蛇;WhyML公司;Caduceus公司;cvc3型;CVC4型;Yices公司
引用于: 43文件
全部的 前5名

99位作者引用

4 彼得·米勒
弗朗索瓦·博博特
尼古拉·科马托夫
豪尔赫·索萨·品托
2 安德鲁·W·阿佩尔。
2 埃里克·费龙
2 玛丽亚·乔昂·弗雷德
2 皮埃尔·洛伊奇·卡洛什
2 迪迪埃·亨利昂
2 沃尔夫拉姆·卡尔
2 卢伦索、科劳迪奥·贝洛
2 玛丽亚诺·莫斯卡托(Mariano M.Moscato)。
2 塞萨尔·穆尼奥斯。
2 伊娜·谢弗
2 亚历山大·萨默斯。
2 劳拉·蒂托洛
1 罗莎·阿巴斯
1 沃尔夫冈·阿伦特
1 Andronick,六月
1 伊戈尔·谢尔盖维奇(Igor’Sergeevich Anureev)
1 阿里·阿亚德
1 马雷克·巴拉诺夫斯基
1 格尔戈·巴拉尼
1 克拉克·W·巴雷特。
1 伦纳特·贝林格
1 布兰奇,桑德琳
1 博斯特罗姆,蓬图斯
1 文森特·博博尔
1 伯纳德·波特拉
1 昆廷·布伊拉盖
1 弗兰克·巴特勒
1 艾曼纽·沙伊洛
1 彼得·柯林斯。
1 Sylvain Conchon公司
1 伊娃·达鲁洛娃
1 纪尧姆·戴维
1 约西亚·多兹
1 简·杜拉茨
1 亚伦·M·达特(Aaron M.Dutle)。
1 马尔科·艾尔斯
1 马可·费利乌。
1 Jean-Christophe Filliátre
1 杰克·J·加泽拉。
1 阿兰·乔治蒂
1 大卫·格林纳韦
1 林赛·格罗夫斯。
1 何少波
1 希尔斯,马克
1 弗洛伦特·希弗特
1 穆罕默德·伊格伦拉拉
1 雨果·伊利诺斯
1 罗曼·乔布雷多
1 雅克·朱利安德
1 Khoroshilov,A.V.公司。
1 格温·克莱恩
1 亚历山大·克努佩尔
1 米查尔·科内奇
1 帕斯卡尔·勒加尔
1 特里斯坦勒加尔
1 莱切内特,Jean-Christophe
1 雷诺,K.鲁斯坦M。
1 马蒂厄·莱梅尔
1 泽维尔·勒罗伊
1 弗雷德里克·卢勒格
1 莉·达拉
1 Mandrykin,M.U。
1 克劳德·马奇
1 恩里克·马丁·马汀
1 米凯拉·梅耶罗
1 Severin Meier
1 大卫·莫尼奥(David P.Monniaux)。
1 黑山,曼努埃尔
1 米拉德·尼基
1 潘特尔,马克
1 卡斯滕·伊曼纽尔·帕迪拉
1 安德烈·帕斯科维奇
1 大卫·J·皮尔斯。
1 纪尧姆·佩蒂奥
1 茨沃尼米尔·拉卡马里奇
1 娜塔莉·雷沃
1 阿德里安·里斯科
1 对手,泽维尔
1 胡安·罗德里格斯·霍塔拉
1 格里高·罗什乌
1 皮埃尔·鲁克斯
1 鲁本·卢比奥
1 乔纳斯·希夫尔
1 马尔特·施沃尔霍夫
1 米哈埃拉·西希雷亚努
1 辛戈尔斯,朱利安
1 托马斯·图姆
1 福雷德里克·图马泽特
1 马蒂亚斯·乌尔布里奇
1 马克·乌廷
1 Timothy E.王。
1 王伟
1 托马斯·怀斯
1 乔纳坦·威克
1 鲍里斯·亚科博夫斯基

按年份列出的引文