![](https://img-blog.csdnimg.cn/20201014180756913.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
实验室的笔记
文章平均质量分 79
weisuowuyu
这个作者很懒,什么都没留下…
展开
-
Z3 SMTsolver 学习笔记(一) ——安装,环境配置篇
https://github.com/Z3Prover/z3源文件从这里可以下载。然后看看readMe文件。Windows7下使用Visual Studio 命令符建立Z3(请注意前8步————全部是错误的)发现需要用到Python指令,那就先去安Python本来想安装最新的3.6.5————结果电脑win7有点傻屌,安装出现问题。1、先是需要Pack 1——网上有教程,开了自动更新——更新浪费了...原创 2018-05-10 22:39:13 · 10811 阅读 · 5 评论 -
Z3 SMTsolver 学习笔记(二)——examples运行篇(未完成)
经历千辛万苦,翻过种种错误。我总算是成功的完成了Z3的安装和配置工作。下一步是逐渐掌握使用方法。1、网上找到的一个小说明书:https://rise4fun.com/z3/tutorial Z3完整的API文档在这:http://z3prover.github.io/api/html/index.html 这里更新一篇C++的较完整教程 :http://www.cs.utah.edu/~vinu/...原创 2018-05-14 21:36:23 · 5061 阅读 · 2 评论 -
CPAchecker GIThub 简单翻译(一)
一、开始CPAchecker 安装说明书:INSTALL.md。发展与贡献Developing.md。doc文件夹里面有更多的说明文档。二、先看看安装说明书INSTALL.md①安装CPAchecker——Binary()安装Java运行环境,至少需要兼容Java8。(例如Oracle JRE , OpenJDK)。如果你安装了多种JVMs,请设置好默认的JVM,否则在运行CPAchecke...翻译 2018-05-24 22:19:12 · 1423 阅读 · 0 评论