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

宝藏资源
收藏
回帖
新手上路 2026-2-26 16:21
主楼
[资源名称]
OpenJML - 将 JML 规范转换为 SMT-LIB 格式，并将程序隐含的证明问题传递给后端求解器
[资源来源]
www.openjml.org
[资源介绍]
- OpenJML - 将 JML 规范转换为 SMT-LIB 格式，并将程序隐含的证明问题传递给后端求解器。（仅 GPL-2.0）
[资源合集]
Java开发宝典！精选的适用于 Java 编程语言的优秀框架、库和软件资源
回复 点赞 举报
😀 😊 😵‍💫 😡 🤝 🙏 👍 👎 ❤️