Логическая корректность программного средства (К3) по ГОСТ 28195-89