alt ergo:适用于Alt Ergo的OCamlPro公共开发存储库 源码

Alt-Ergo 是设计用于程序验证的数学公式的开源自动求解器。 它基于(SMT)。 在过去的十年中,这个家庭的解决方案取得了令人瞩目的进步,并且非常受欢迎。 现在,它们被用于各个领域,例如硬件设计,软件验证和正式测试。 它是由开发的,现在由改进和维护,并且与开发团队保持了友好的协作。 您可以在线 。 另请参阅。 建置状态 下一个 掌握 网站 Alt-Ergo的网站: : 。 文献资料 请参阅我们的其中包含 有关如何使用Alt-Ergo的信息,请参见“。 关于Alt-Ergo支持的部分。 和。 下载 我们提供版Alt-Ergo的资源包。 您也可以在GitHub的上找到它。 使用以下命令,可以在OCaml软件包管理器使用Alt-Ergo: opam install alt-ergo 版权 根据 Alt-Ergo可免费用于非商业用途(例如学术和探索性试验)。 对于商业用途,请