期刊
FORMAL ASPECTS OF COMPUTING
卷 27, 期 3, 页码 573-609出版社
SPRINGER
DOI: 10.1007/s00165-014-0326-7
关键词
Formal verification; Static analysis; Dynamic analysis; C
资金
- ANR project U3CAT
- FUI9 project Hi-Lite
- FP7 project STANCE
- ANR project Veridyc
Frama-C is a source code analysis platform that aims at conducting verification of industrial-size C programs. It provides its users with a collection of plug-ins that perform static analysis, deductive verification, and testing, for safety- and security-critical software. Collaborative verification across cooperating plug-ins is enabled by their integration on top of a shared kernel and datastructures, and their compliance to a common specification language. This foundational article presents a consolidated view of the platform, its main and composite analyses, and some of its industrial achievements.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据