DaikonAn implementation of dynamic detection of likely invariants. | |
Download |
Daikon Ranking & Summary
Advertisement
- License:
- Open Software License
- Price:
- FREE
- Publisher Name:
- Michael Ernst
- Publisher web site:
- http://pag.csail.mit.edu/daikon/
Daikon Tags
Daikon Description
An implementation of dynamic detection of likely invariants. Daikon is an implementation of dynamic detection of likely invariants. An invariant is a property (such as "x=2*y 5" or "this.next.prev = this" or "myarray is sorted by What's New in This Release: · Kvasir's support for x86-64 hosts and C++ programs has been improved.
Daikon Related Software