使用Ceagle对我的电脑有什么要求吗?

网页版推荐系统配置需求:

  • Windows XP或更高版本,Mac OS X 10.5或更高版本,或其它支持浏览器的操作系统
  • Internet Explorer 8、9、10或更高版本,Firefox,Chrome或Safari
  • 1024 x 768或更高分辨率的显示器
  • 512MB内存或更高
  • 局域网或因特网连接

命令行版会在本地运行验证程序,对系统配置要求较高,推荐系统配置需求:

  • Linux 32位或64位操作系统
  • 双核2.0GHz的处理或更高
  • 8GB内存或更高

低于推荐系统配置的环境不能保证验证效果或使用体验。

网页版和命令行版有什么区别?

网页版 命令行版
工具安装 不需要 需要
使用环境 网页浏览器 Linux操作系统

Ceagle可以验证什么类型的程序?

C语言程序

Ceagle可以验证什么类型的属性?

Ceagle可以验证的属性类型,有以下三种:

  • 通用属性
  • assert
  • 代码可达性

我可以免费使用吗?

可以

我可以从哪里获得帮助?

http://sts.thss.tsinghua.edu.cn/ceagle/store