OpenJML - 将 JML 规范转换为 SMT-LIB 格式，并将程序隐含的证明问题传递给后端求解器

宝藏资源
收藏
回帖
新手上路 2026-2-5 15:54
主楼
[资源名称]
OpenJML - 将 JML 规范转换为 SMT-LIB 格式，并将程序隐含的证明问题传递给后端求解器
[资源来源]
www.openjml.org
[资源介绍]
Home | OpenJML
- OpenJML - 将 JML 规范转换为 SMT-LIB 格式，并将程序隐含的证明问题传递给后端求解器。（仅 GPL-2.0）
[资源合集]
Java 开发宝典。关于Java的经典资源整理。必须收藏
回复 点赞 举报
😀 😊 😵‍💫 😡 🤝 🙏 👍 👎 ❤️