Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 


Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei:   Sprache: C

rahmenlose Ansicht.summary DruckansichtMT940 {MT940[287] Hlasm[1763] Haskell[2123]}Entwicklung

*** 
*** top (16:16:8 2/25/2014)
*** Generated by proveit - ProofLite-6.0.7 (2/28/14)
*** Trusted Oracles
***   MetiTarski: MetiTarski Theorem Prover via PVS proof rule metit
*** 
 Proof summary for theory top
    Theory totals: 0 formulas, 0 attempted, 0 succeeded (0.00 s)

 Proof summary for theory allen_interval
    Theory totals: 0 formulas, 0 attempted, 0 succeeded (0.00 s)

 Proof summary for theory allen_interval_properties
    before_before.........................proved - complete   [shostak](0.05 s)
    before_during.........................proved - complete   [shostak](0.04 s)
    before_contains.......................proved - complete   [shostak](0.01 s)
    before_overlaps.......................proved - complete   [shostak](0.02 s)
    before_overlapped_by..................proved - complete   [shostak](0.03 s)
    before_meets..........................proved - complete   [shostak](0.01 s)
    before_met_by.........................proved - complete   [shostak](0.03 s)
    before_starts.........................proved - complete   [shostak](0.01 s)
    before_started_by.....................proved - complete   [shostak](0.02 s)
    before_finishes.......................proved - complete   [shostak](0.02 s)
    before_finished_by....................proved - complete   [shostak](0.02 s)
    after_after...........................proved - complete   [shostak](0.01 s)
    after_during..........................proved - complete   [shostak](0.03 s)
    after_contains........................proved - complete   [shostak](0.02 s)
    after_overlaps........................proved - complete   [shostak](0.03 s)
    after_meets...........................proved - complete   [shostak](0.02 s)
    after_met_by..........................proved - complete   [shostak](0.02 s)
    after_starts..........................proved - complete   [shostak](0.02 s)
    after_started_by......................proved - complete   [shostak](0.01 s)
    after_finishes........................proved - complete   [shostak](0.01 s)
    after_finished_by.....................proved - complete   [shostak](0.02 s)
    during_before.........................proved - complete   [shostak](0.01 s)
    during_after..........................proved - complete   [shostak](0.02 s)
    during_during.........................proved - complete   [shostak](0.02 s)
    during_overlaps.......................proved - complete   [shostak](0.03 s)
    during_overlapped_by..................proved - complete   [shostak](0.03 s)
    during_meets..........................proved - complete   [shostak](0.01 s)
    during_t_meet_bay.....................proved - complete   [shostak](0.02 s)
    during_starts.........................proved - complete   [shostak](0.02 s)
    during_started_by.....................proved - complete   [shostak](0.03 s)
    during_finished_by....................proved - complete   [shostak](0.02 s)
    during_finishes.......................proved - complete   [shostak](0.02 s)
    contains_before.......................proved - complete   [shostak](0.03 s)
    contains_after........................proved - complete   [shostak](0.03 s)
    contains_during.......................proved - complete   [shostak](0.05 s)
    contains_contains.....................proved - complete   [shostak](0.02 s)
    contains_overlaps.....................proved - complete   [shostak](0.03 s)
    contains_overlapped_by................proved - complete   [shostak](0.02 s)
    contains_meets........................proved - complete   [shostak](0.03 s)
    contains_meet_by......................proved - complete   [shostak](0.02 s)
    contains_starts.......................proved - complete   [shostak](0.03 s)
    contains_started_by...................proved - complete   [shostak](0.02 s)
    contains_finishes.....................proved - complete   [shostak](0.03 s)
    contains_finished_by..................proved - complete   [shostak](0.02 s)
    overlaps_before.......................proved - complete   [shostak](0.01 s)
    overlaps_after........................proved - complete   [shostak](0.03 s)
    overlaps_during.......................proved - complete   [shostak](0.02 s)
    overlaps_overlapped_by................proved - complete   [shostak](0.06 s)
    overlaps_contains.....................proved - complete   [shostak](0.04 s)
    overlaps_overlaps.....................proved - complete   [shostak](0.02 s)
    overlaps_meets........................proved - complete   [shostak](0.02 s)
    overlaps_met_by.......................proved - complete   [shostak](0.02 s)
    overlaps_starts.......................proved - complete   [shostak](0.02 s)
    overlaps_start_by.....................proved - complete   [shostak](0.03 s)
    overlaps_finishes.....................proved - complete   [shostak](0.03 s)
    overlaps_finished_by..................proved - complete   [shostak](0.02 s)
    overlapped_by_before..................proved - complete   [shostak](0.03 s)
    overlapped_by_after...................proved - complete   [shostak](0.02 s)
    overlapped_by_during..................proved - complete   [shostak](0.03 s)
    overlapped_by_contains................proved - complete   [shostak](0.03 s)
    overlapped_by_overlaps................proved - complete   [shostak](0.05 s)
    overlapped_by_overlapped_by...........proved - complete   [shostak](0.03 s)
    overlapped_by_meets...................proved - complete   [shostak](0.03 s)
    overlapped_by_meet_by.................proved - complete   [shostak](0.01 s)
    overlapped_by_starts..................proved - complete   [shostak](0.02 s)
    overlapped_by_started_by..............proved - complete   [shostak](0.03 s)
    overlapped_by_finishes................proved - complete   [shostak](0.02 s)
    overlapped_by_finished_by.............proved - complete   [shostak](0.03 s)
    meets_before..........................proved - complete   [shostak](0.01 s)
    meets_after...........................proved - complete   [shostak](0.03 s)
    meets_during..........................proved - complete   [shostak](0.02 s)
    meets_contains........................proved - complete   [shostak](0.02 s)
    meets_overlaps........................proved - complete   [shostak](0.01 s)
    meets_overlapped_by...................proved - complete   [shostak](0.03 s)
    meets_meets...........................proved - complete   [shostak](0.01 s)
    meets_meet_by.........................proved - complete   [shostak](0.02 s)
    meets_starts..........................proved - complete   [shostak](0.01 s)
    meets_started_by......................proved - complete   [shostak](0.01 s)
    meets_finishes........................proved - complete   [shostak](0.03 s)
    meets_finished_by.....................proved - complete   [shostak](0.02 s)
    meet_by_before........................proved - complete   [shostak](0.02 s)
    meet_by_after.........................proved - complete   [shostak](0.01 s)
    meet_by_during........................proved - complete   [shostak](0.03 s)
    meet_by_contains......................proved - complete   [shostak](0.01 s)
    meet_by_overlaps......................proved - complete   [shostak](0.02 s)
    meet_by_meet..........................proved - complete   [shostak](0.02 s)
    meet_by_overlapped_by.................proved - complete   [shostak](0.02 s)
    meet_by_meet_by.......................proved - complete   [shostak](0.01 s)
    meet_by_starts........................proved - complete   [shostak](0.03 s)
    meet_by_started_by....................proved - complete   [shostak](0.01 s)
    meet_by_finishes......................proved - complete   [shostak](0.01 s)
    met_by_finished.......................proved - complete   [shostak](0.01 s)
    starts_by_before......................proved - complete   [shostak](0.01 s)
    starts_by_after.......................proved - complete   [shostak](0.02 s)
    starts_by_during......................proved - complete   [shostak](0.02 s)
    starts_by_contains....................proved - complete   [shostak](0.03 s)
    starts_by_overlaps....................proved - complete   [shostak](0.02 s)
    starts_by_overlapped_by...............proved - complete   [shostak](0.03 s)
    starts_by_meet........................proved - complete   [shostak](0.01 s)
    starts_by_meet_by.....................proved - complete   [shostak](0.01 s)
    starts_by_starts......................proved - complete   [shostak](0.01 s)
    starts_by_started_by..................proved - complete   [shostak](0.00 s)
    starts_by_finishes....................proved - complete   [shostak](0.02 s)
    starts_by_finished_by.................proved - complete   [shostak](0.03 s)
    started_by_before.....................proved - complete   [shostak](0.02 s)
    started_by_after......................proved - complete   [shostak](0.02 s)
    started_by_during.....................proved - complete   [shostak](0.02 s)
    started_by_contains...................proved - complete   [shostak](0.02 s)
    started_by_overlaps...................proved - complete   [shostak](0.03 s)
    started_by_overlapped_by..............proved - complete   [shostak](0.02 s)
    started_by_meet.......................proved - complete   [shostak](0.03 s)
    started_by_meet_by....................proved - complete   [shostak](0.01 s)
    started_by_starts.....................proved - complete   [shostak](0.03 s)
    started_by_started_by.................proved - complete   [shostak](0.02 s)
    started_by_finishes...................proved - complete   [shostak](0.02 s)
    started_by_finished_by................proved - complete   [shostak](0.02 s)
    finishes_before.......................proved - complete   [shostak](0.01 s)
    finishes_after........................proved - complete   [shostak](0.02 s)
    finishes_during.......................proved - complete   [shostak](0.02 s)
    finishes_contains.....................proved - complete   [shostak](0.02 s)
    finishes_overlaps.....................proved - complete   [shostak](0.02 s)
    finishes_overlapped_by................proved - complete   [shostak](0.03 s)
    finishes_meets........................proved - complete   [shostak](0.01 s)
    finishes_meet_by......................proved - complete   [shostak](0.02 s)
    finishes_starts.......................proved - complete   [shostak](0.02 s)
    finishes_started_by...................proved - complete   [shostak](0.02 s)
    finishes_finishes.....................proved - complete   [shostak](0.02 s)
    finishes_finished_by..................proved - complete   [shostak](0.02 s)
    finished_by_before....................proved - complete   [shostak](0.02 s)
    finished_by_after.....................proved - complete   [shostak](0.02 s)
    finished_by_during....................proved - complete   [shostak](0.03 s)
    finished_by_contains..................proved - complete   [shostak](0.02 s)
    finished_by_overlaps..................proved - complete   [shostak](0.02 s)
    finished_by_overlapped_by.............proved - complete   [shostak](0.03 s)
    finished_by_meets.....................proved - complete   [shostak](0.01 s)
    finished_by_meet_by...................proved - complete   [shostak](0.02 s)
    finished_by_starts....................proved - complete   [shostak](0.02 s)
    finished_by_started_by................proved - complete   [shostak](0.02 s)
    finished_by_finishes..................proved - complete   [shostak](0.03 s)
    finished_by_finished_by...............proved - complete   [shostak](0.00 s)
    Theory totals: 140 formulas, 140 attempted, 140 succeeded (3.15 s)

Grand Totals: 140 proofs, 140 attempted, 140 succeeded (3.15 s)

[ Verzeichnis aufwärts0.157unsichere Verbindung  ]

                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik