搜索结果：smt（2 个）
按分类缩小范围
apalache
综合 63
Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。
BillionMail
综合 60
开源邮件服务器与邮件营销平台，完全自托管、开发者友好且免月费。