verification tool for ANSI-C-bilbo0214-ChinaUnix博客

Chinaunix首页 | 论坛 | 博客

首页　| 　博文目录　| 　关于我

博客访问： 1655209
博文数量： 230
博客积分： 10045
博客等级：上将
技术积分： 3357
用户组：普通用户
注册时间： 2006-12-30 20:40

文章分类

全部博文（230）

Plotting（4）
Literate Progra（2）
Ada（3）
行业窥探（2）

核电行业（0）

风电行业（1）

铁路行业（1）
Formal methods（7）
Networking（7）
Caml（12）
读书时间（16）
FieldBus（6）
GSM/GSM-R（4）
Good Resource（8）
Visual Language（0）
Software Enginee（13）
Compiler Enginee（2）
Safety System（34）
Tcl & Expect（1）
AutoHotKey（3）
其他编程语言（11）
C/C++（24）
胡言乱语（40）
技术幽默（2）
Hardware Desing（13）
Embedded System（4）
Perl（10）
Unix_Linux（0）
关注社会（2）
未分配的博文（0）

文章存档

2011年（7）

2010年（35）

2009年（62）

2008年（126）

我的朋友

最近访客

推荐博文

verification tool for ANSI-C

分类：

2008-10-18 19:35:35

CBMC --- Bounded Model Checking for ANSI-C

SATABS --- Predicate Abstaction with SAT for ANSI-C

阅读(1723) | 评论(1) | 转发(0) |

0

上一篇：SQLite Server

下一篇：(转)MinUnit

给主人留下些什么吧！~~

nmap2008-11-13 16:36:11

支持，数组溢出检测工具，源码级的，不错。

回复 | 举报

关于我们 | 关于IT168 | 联系方式 | 广告合作 | 法律声明 | 免费注册

Copyright 2001-2010 ChinaUnix.net All Rights Reserved 北京皓辰网域网络信息技术有限公司. 版权所有

感谢所有关心和支持过ChinaUnix的朋友们