1. A method of verifying a program of the type that includes a plurality of sections with a computing system of the type that is configured to process a plurality of threads of execution, the method comprising: in response to activation of the program, verifying and executing a first section of the program utilizing a first thread of execution; determining a second section of the program to execute subsequent to the first section; and verifying the second section utilizing a second thread of execution in parallel with the execution of the first section.