全部搜索项
wheezy  ] [  jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ 源代码: alt-ergo  ]

软件包:alt-ergo(0.94-2)

alt-ergo 的相关链接

Screenshot

Debian 的资源:

下载源码包 alt-ergo

维护小组:

外部的资源:

相似软件包:

Automatic theorem prover dedicated to program verification

Alt-Ergo is an automatic theorem prover dedicated to program verification. Alt-Ergo is based on CC(X) a congruence closure algorithm parameterized by an equational theory X. Currently, CC(X) can be instantiated by the empty equational theory and by the linear arithmetics. Alt-Ergo contains also a home made SAT-solver and an instantiation mechanism.

Alt-Ergo is both safe and modular: each box is described by a small set of inference rules and is implemented as an OCaml functor.

标签: 实做语言: OCaml, 角色: 程序, Interface Toolkit: GTK

其他与 alt-ergo 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • 增强

下载 alt-ergo

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
ia64 674。9 kB3,448。0 kB [文件列表]