Show HN:使用SMT的小型Hoare逻辑验证器
Show HN: Tiny Hoare logic verifier using SMT

原始链接: https://github.com/namin/metaprogramming/tree/master/lectures/5-smt

用户当前正在浏览 GitHub 仓库 "namin/metaprogramming"。该仓库是公开的,拥有 11 个分支和 60 个星标。用户未登录,这影响了他们更改通知设置的能力。页面上部分内容加载失败,需要重新加载。GitHub 提供各种功能和产品,包括 GitHub Copilot、高级安全功能、Actions、Codespaces 等等,面向个人、团队和企业。该平台用于代码协作、项目管理和软件开发,并具有强大的安全、自动化和 AI 辅助功能。GitHub 还提供各种资源,例如文档、学习路径、活动和客户案例。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Show HN:使用 SMT 的微型 Hoare 逻辑验证器 (github.com/namin) 7 分,由 namin 发帖,2 小时前 | 隐藏 | 过去 | 收藏 | 1 评论 fovc 50 分钟前 [–] 非常好!对于其他读者,vc 是验证条件的缩写,wp 是最弱前提条件的缩写。 回复 考虑申请 Y Combinator 2025 秋季批次!申请截止日期为 8 月 4 日 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:
相关文章

原文
Skip to content
联系我们 contact @ memedata.com