Type Napomena Postupak verifikacije softvera može se obaviti pomoću NSDD-ovog softvera ručnog alata za procjenu (HATS).
