Daikon invariant detector documentation
This directory contains documentation for the Daikon invariant detector,
Daikon version 5.2.24, released March 4, 2016.
- Daikon User Manual
- CHANGES ("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.