用vera验证的系统方法论
用vera验证的系统方法论,学验证的必须文档
下载地址
用户评论
很详细，应该有用，有时间会研究。不过眼前最想要的一个简要介绍VERA的资料，比如入门级的那种简单应用的介绍，有个example,就更好了。