 | Daikoneen implementatie van dynamische detectie van waarschijnlijke invarianten. |
| Download nu | |
Daikon Rangschikking & Samenvatting
Advertentie
- Vergunning:
- Open Software License
- Prijs:
- FREE
- Naam uitgever:
- Michael Ernst
- Uitgever website:
- http://pag.csail.mit.edu/daikon/
Daikon Tags
Daikon Beschrijving
Een implementatie van dynamische detectie van waarschijnlijke invarianten. Daikon is een implementatie van dynamische detectie van waarschijnlijke invarianten. Een invariant is een woning (zoals "X = 2 * Y 5" of "This.Next.Prev = This" of "Myarray wordt gesorteerd op wat nieuw is in deze release: · De steun van Kvasir voor X86-64-hosts en C ++ -programma's is verbeterd.
Daikon Gerelateerde software
Scheur
SCHUR is een stand-alone programma voor het interactief berekenen van eigenschappen van leugengroepen en symmetrische functies. ...
Rgnome
RGNome is een op GTK gebaseerde frontend voor GNU R, die een veelgebruikte taal is voor statistische computergebruik. ...
Thecurves
TheCurves is een applicatie die een geparametreerde familie van bochten op basis van algebraïsche formules door de gebruiker plotsert. ...