dafny-verification

Dafny 形式化模型验证专家，服务于工程验证流程。可直接使用或由工程验证流程路由调用，用于创建、修改、调试或审查 Dafny `.dfy` 模型；在实现前证明属性；修复 Dafny 验证器失败问题；或处理授权/访问控制、租户隔离、状态机、解析器、校验器、算法正确性、不变量、安全敏感分支逻辑，以及需要由机器检查的 Dafny 规范支撑的目标语言代码。

存档时间线

版本索引永久保留；内容副本只保留最新 1 份，更早版本仅留索引与哈希（存档时间线的证据链不会因此断裂）。

下载存档内容副本