products/sources/formale Sprachen/Coq/test-suite/coqwc image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: MotorActuator.vdmrt   Sprache: Unknown

Spracherkennung für: .out vermutete Sprache: BAT {BAT[164] Ada[339] Abap[382]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

     spec    proof comments
        1        7        0 coqwc/next-obligation.v

[ Dauer der Verarbeitung: 0.39 Sekunden  ]