Windows | Games | Mobile | Wallpapers


Daikon 4.6.4

The Daikon invariant detector.


Last Week downloads: 0
Total downloads: 167
  • Last Updated: Aug 10, 2010
  • License: Freeware Free
  • OS: Windows XP/2000/98
  • Requirements: Java 5.0 or higher, JVM

User reviews

0 out of 5 based on 0 ratings for Daikon 4.6.4

For Daikon 4.6.4Publisher's description


Daikon is a Development software developed by MIT Program Analysis Group. After our trial and test, the software is proved to be official, secure and free. Here is the official description for Daikon:

BSEditor: Daikon is an implementation of dynamic detection of likely invariants; that is, the Daikon invariant detector reports likely program invariants. An invariant is a property that holds at a certain point or points in a program; these are often seen in assert Statements, documentation, and formal specifications. Invariants can be useful in program understanding and a host of other applications. Examples include “.field > abs(y)”; “y = 2*x+3”; “array a is sorted”; “for all list objects lst, = lst”; “for all treenode objects n, n.left.value < n.right.value”; “p != null ⇒ p.content in myArray”; and many more. You can extend Daikon to add new properties.

Dynamic invariant detection runs a program, observes the values that the program computes, and then reports properties that were true over the observed executions. Daikon can Detect properties in C, C++, Eiffel, IOA, Java, and Perl programs; in Spreadsheet files; and in other data sources. (Dynamic invariant detection is a machine learning technique that can be applied to arbitrary data.) It is easy to extend Daikon to other applications; as one example, an interface exists to the Java PathFinder model checker.
you can free download Daikon 4.6.4 now.


Please be aware that Brothersoft do not supply any crack, patches, serial numbers or keygen for Daikon,and please consult directly with program authors for any problem with Daikon.