Daikon invariant detector documentation

From this webpage, you can browse or download the documentation for the Daikon invariant detector.
The documentation is included in the Daikon distribution, but is also linked to here for easy access.

Daikon User Manual
CHANGELOG.md ("What's new" in each Daikon release)
Daikon Developer Manual
Javadoc (API documentation for Daikon source code)

Also see the installation instructions and license.
You may also wish to read the published papers.