SSL top_array.pvs Sprache: PVS

top_array: THEORY
BEGIN

  IMPORTING            % -------------- arrays -----------------
     min_array,        % defines min function over an array
     max_array,        % defines max function over an array
     permutations,     % permutations defined using arrays
     sort_array,       % defines a sort function over arrays
     sort_array_lems,  % relationship between sort and min and max
     array_ops,        % array operations
     majority_array   % defines majority function over an array

END top_array

quality100%

¤ Dauer der Verarbeitung: 0.15 Sekunden (vorverarbeitet) ¤

Versionsinformation zu Columbo

Bemerkung:

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Anfrage:

Dauer der Verarbeitung:

Sekunden

sprechenden Kalenders