KeY - 一种正式的软件开发工具，旨在尽可能无缝地集成面向对象软件的设计、实现、形式规范和形式验证

宝藏资源
收藏
回帖
新手上路 2026-2-5 15:54
主楼
[资源名称]
KeY - 一种正式的软件开发工具，旨在尽可能无缝地集成面向对象软件的设计、实现、形式规范和形式验证
[资源来源]
www.key-project.org
[资源介绍]
The KeY Project
- KeY - 一种正式的软件开发工具，旨在尽可能无缝地集成面向对象软件的设计、实现、形式规范和形式验证。使用 JML 进行规范描述，并使用符号执行进行验证。（GPL-2.0 或更高版本）
[资源合集]
Java 开发宝典。关于Java的经典资源整理。必须收藏
回复 点赞 举报
😀 😊 😵‍💫 😡 🤝 🙏 👍 👎 ❤️