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

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