DAIKON

eine Implementierung der dynamischen Erkennung der wahrscheinlichen Invarianten.
Jetzt downloaden

DAIKON Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • Open Software License
  • Preis:
  • FREE
  • Name des Herausgebers:
  • Michael Ernst
  • Website des Verlags:
  • http://pag.csail.mit.edu/daikon/

DAIKON Stichworte


DAIKON Beschreibung

Eine Umsetzung der dynamischen Erkennung der wahrscheinlichen Invarianten. Daikon ist eine Umsetzung der dynamischen Erkennung der wahrscheinlichen Invarianten. Ein Invariante ist eine Eigenschaft (z. B. "x = 2 * y 5" oder "this.next.prev = dieses" oder "Myarray ist nach dem Neuen in dieser Version sortiert: · Die Unterstützung von KVasir für X86-64-Hosts und C ++ - Programme wurde verbessert.


DAIKON Zugehörige Software

Über uns