Welcome dear visitor! My name is Joseph Tarrant, I work for big software company in Chicago. Software testing is the process used to determine the correctness, completeness and quality of developed software. With that in mind, testing can never completely determine the correctness of computer software. Just the process of formal verification can demonstrate that the software does not have errors.