8.1 Цели верификации ПО