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

软件包:alt-ergo(1.30-1)

alt-ergo 的相关链接

Screenshot

Debian 的资源:

下载源码包 alt-ergo

维护小组:

外部的资源:

相似软件包:

Automatic theorem prover dedicated to program verification

Alt-Ergo is an automatic theorem prover geared towards application in program verification. It is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Alt-Ergo has built-in provers for propositional logic, linear arithmetic, uninterpreted function symbols, associative-commutative function symbols, polymorphic arrays, user-defined polymorphic record types and polymorphic enumeration types. It has restricted support for reasoning over arbitrary user-defined algebraic types, first-order quantifiers, and non-linear arithmetic.

This package contains the prover as a command-line executable as well as the graphical interface.

标签: 实做语言: OCaml, 角色: 程序, 界面工具箱: GTK

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

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

下载 alt-ergo

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
mipsel 325.3 kB3,445.0 kB [文件列表]