| products/sources/formale sprachen/Coq/checker/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: check.mllib Sprache: Unknown
|
Spracherkennung für: .mllib vermutete Sprache: C {C[3] Abap[252] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] Analyze CheckInductive Mod_checking CheckTypes Safe_checking Values Validate Check Check_stat Checker [ Dauer der Verarbeitung: 0.45 Sekunden ] |