Daikon Una implementación de la detección dinámica de los posibles invariantes.
Descargar ahora

Daikon Clasificación y resumen

Daikon Etiquetas

dinámica detección Detección dinámica probables invariantes Daikon

Daikon Descripción

Una implementación de la detección dinámica de los posibles invariantes. Daikon es una implementación de la detección dinámica de los posibles invariantes. Un invariante es una propiedad (como "x = 2 * y 5" o "este.Next.Prev = Esto" o "MyArray está ordenado por las novedades en esta versión: · El apoyo de Kvasir para los hosts X86-64 y los programas C ++ se ha mejorado.

Daikon Software relacionado