massoni.computacao.ufcg.edu.br

新手上路 2026-2-26 16:21

主楼

[资源名称]

JMLOK 2.0 - 通过反馈导向的随机测试生成检测代码与 JML 规范之间的不一致性，并为每个检测到的非一致性提出可能的原因

[资源来源]

massoni.computacao.ufcg.edu.br

[资源介绍]

- JMLOK 2.0 - 通过反馈导向的随机测试生成检测代码与 JML 规范之间的不一致性，并为每个检测到的非一致性提出可能的原因。(仅 GPL-3.0 许可)

[资源合集]

回复点赞举报