<VCC笔记>VCC简介与安装

　　最近在学校跟着老师参与了一个代码验证的工作，需要使用Microsoft Research（微软学术）开发的VCC工具，是开源的，托管在Codeplex上。这东西英语资料极其少，中文资料基本没有。我只能看官方给的英文文档。因此，我也就有了心思写几篇简单的博客，也包括文档的一些翻译。留个纪念也好。

　　VCC主页（https://vcc.codeplex.com/）

　　

　　翻译了一下VCC教程上的简介：

　　“VCC是一个验证环境，用与验证c语言编写的程序。VCC获取一个程序(注释了功能, 断言和类型不变量)并试图证明那些注释是正确的,也就是说,他们对每一个可能的程序执行。环境包括工具监测证明尝试和构建部分反例执行失败的证明。VCC处理细粒度并发性和低级的C语言特性,并已用于验证成千上万行商业并发系统的代码的功能正确性。本教程描述如何使用VCC验证C代码。