Daikon (system)

{{Multiple issues|

{{notability|Products|date=May 2013}}

{{more citations needed|date=May 2013}}

}}

Daikon is a computer program that detects likely invariants of programs.{{cite journal | url=https://link.springer.com/article/10.1007/s10009-004-0167-4 | doi=10.1007/s10009-004-0167-4 | title=An overview of JML tools and applications | date=2005 | last1=Burdy | first1=Lilian | last2=Cheon | first2=Yoonsik | last3=Cok | first3=David R. | last4=Ernst | first4=Michael D. | last5=Kiniry | first5=Joseph R. | last6=Leavens | first6=Gary T. | last7=Leino | first7=K. Rustan M. | last8=Poll | first8=Erik | journal=International Journal on Software Tools for Technology Transfer | volume=7 | issue=3 | pages=212–232 | hdl=2066/33286 | hdl-access=free | url-access=subscription }} An invariant is a condition that always holds true at certain points in the program. It is mainly used{{cite web|url=http://groups.csail.mit.edu/pag/pubs/invariants-ernst-phdthesis-abstract.html |title=Dynamically Discovering Likely Program Invariants |publisher=Groups.csail.mit.edu |date= |accessdate=2013-05-23}} for debugging programs in late development, or checking modifications to existing code.