Daikon invariant detector documentation
This directory contains documentation for the Daikon invariant detector,
Daikon version 5.8.14, released October 6, 2022.
- Daikon User Manual
- CHANGELOG.md ("What's new" in each Daikon release)
- Daikon Developer Manual
- Javadoc (for Daikon source code)
Also see the installation
instructions and license.
You may also wish to read the published papers.