Squish 是用于功能 GUI 回归测试的领先跨平台/跨技术 GUI 测试自动化工具。立即开始免费试用！

提供 9 个替代方案

checkSum+ 将处理 md5、sfv 和 cvs 文件（请注意，不要与 cvs 文件混淆，因为这些可以是任何类型的数据库文件）。

提供 39 个替代方案

一个可信的、工业级的交互式定理证明器及依赖类型编程语言，用于数学、计算机科学等领域的机械化推理。

提供 4 个替代方案

F* 是一种类似 ML 的函数式编程语言，旨在实现程序验证。F* 可以表达程序的精确规范，包括功能正确性性质。用 F* 编写的程序可被转换为 OCaml 或 F# 以供执行。

提供 6 个替代方案

Agda 是一种依赖类型函数式编程语言。它具有归纳族，即依赖于值的数据类型，例如指定长度的向量类型。它还支持参数化模块、混合运算符、Unicode 字符以及交互式 Emacs...

Vespia 是一款一体化的反洗钱解决方案，可在30秒内完成对企业客户和合作伙伴的验证与开户。该公司利用人工智能的力量，帮助反洗钱义务主体了解其合作对象。

提供 6 个替代方案

洞察IT基础设施状态，帮助您了解风险隐患，预防安全 breaches，并加快软件交付速度。

immudb 是一种内置加密证明和验证功能的数据库。它追踪敏感数据的变化，历史记录的完整性由客户端保护，无需信任数据库本身。

PDF质量检查（预检）、自动校正和手动编辑的核心产品。此软件作为Adobe Acrobat的插件运行。