欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Frama-C
来自开放百科 - 灰狐
（版本间的差异）
(以内容'{{SeeWikipedia}} Frama-C 是C语言模块化分析工具，使用 OCaml 编写。 ==截图== <gallery widths=100px heights=100px perrow=6> Image:frama-c-screens...'创建新页面) |
小 (→链接) |
||
| 第15行： | 第15行： | ||
{{comment}} | {{comment}} | ||
| − | [[ | + | [[category:code analysis]] |
| − | [[ | + | [[category:OCaml]] |
| + | [[category:c programming language]] | ||
2015年11月25日 (三) 09:50的最后版本
|
您可以在Wikipedia上了解到此条目的英文信息 Frama-C Thanks, Wikipedia. |
Frama-C 是C语言模块化分析工具，使用 OCaml 编写。
[编辑] 截图
[编辑] 链接
<discussion>characters_max=300</discussion>
分享您的观点
