| products/sources/formale sprachen/PVS/summaries/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: sort_array_lems.pvs Sprache: PVS
|
Untersuchungsergebnis.summary Download desHlasm {Hlasm[427] BAT[816] Abap[904]}zum Wurzelverzeichnis wechseln *** *** top (19:20:36 11/7/2014) *** Generated by proveit - ProofLite-6.0.9 (3/14/14) *** Proof summary for theory top Theory totals: 0 formulas, 0 attempted, 0 succeeded (0.00 s) Proof summary for theory time_fun hms_TCC1..............................proved - complete [shostak](0.05 s) Theory totals: 1 formulas, 1 attempted, 1 succeeded (0.05 s) Proof summary for theory pathname pathname_dir_TCC1.....................proved - complete [shostak](0.02 s) Theory totals: 1 formulas, 1 attempted, 1 succeeded (0.02 s) Proof summary for theory pvsio_checker safe_div_TCC1.........................proved - complete [shostak](0.01 s) print_etc_TCC1........................proved - complete [shostak](0.02 s) Theory totals: 2 formulas, 2 attempted, 2 succeeded (0.03 s) Proof summary for theory is_prime is_prime?_TCC1........................proved - complete [shostak](0.00 s) Theory totals: 1 formulas, 1 attempted, 1 succeeded (0.00 s) Proof summary for theory prime_check Theory totals: 0 formulas, 0 attempted, 0 succeeded (0.00 s) Grand Totals: 5 proofs, 5 attempted, 5 succeeded (0.10 s) [ zur Elbe Produktseite wechseln0.99Quellennavigators ] |