(1 Posiadanie technika matematycznie udowodnić, że program komputerowy spełnia jej określony requirements.~(2) dowód, że wyniki z zastosowaniem techniki w (1).