Daikon - 检测可能的程序不变式，并基于这些不变式生成 JML 规范

plse.cs.washington.edu

新手上路 2026-2-5 15:54

主楼

[资源名称]

Daikon - 检测可能的程序不变式，并基于这些不变式生成 JML 规范

[资源来源]

plse.cs.washington.edu

[资源介绍]

The Daikon dynamic invariant detector
- Daikon - 检测可能的程序不变式，并基于这些不变式生成 JML 规范。

[资源合集]

Java 开发宝典。关于Java的经典资源整理。必须收藏

回复点赞举报