search

codespecs / daikon

Dynamic detection of likely invariants
http://plse.cs.washington.edu/daikon/
Other
214 stars 54 forks source link
c csharp eiffel java machine-learning machinelearning perl specif specification-by-example specifications

readme

This is the distribution of the Daikon invariant detector, Daikon version 5.8.21, released May 14, 2024.

If you are working with a Daikon distribution downloaded from the Daikon website, then most everything is setup and ready to go. See the 'doc' subdirectory for additional information, including installation instructions. You should start out with the file: doc/index.html The documentation also appears on the Daikon homepage: http://plse.cs.washington.edu/daikon/

If you are working with source cloned from the source code repository https://github.com/codespecs/daikon, then please review the file README.source.