Application Launcher detects a broken application at launch time. If the application file it calls can't launch (in other words, the CreateProcess call Application Launcher makes returns a FALSE), Application Launcher assumes the application is broken and needs to be verified. When this occurs, Application Launcher prompts the user that a problem exists and lets the user choose whether or not to verify the application.